Эротические рассказы

Estructuras de álgebra multilineal. Joaquín Olivert PellicerЧитать онлайн книгу.

Estructuras de álgebra multilineal - Joaquín Olivert Pellicer


Скачать книгу
aplicación f : X → Y se dice que es suprayectiva, si para cada y image Y, existe un x image X tal que

image

      En virtud de la Proposición 5.5, la aplicación identidad es única.

      Proposición 5.8: Consideremos f, g dos aplicaciones tales que

image

      Entonces g es inyectiva y f suprayectiva. Demostración :

      Consideremos

image

      y componemos con f

image

      de donde

image

      Luego g es inyectiva en virtud de la Definición 5.2.

      Dado un x existe un y = g(x) que verifica

image

      Luego f es suprayectiva.

      Teorema 5.9: image.

       Demostración :

      Consideremos x def f, entonces

image

      pero como

image

      Si x image def f,

image

      entonces

image

      y en virtud del Teorema 2.5 f(x) es conjunto. Esto hace que f(x) image image.

      Para terminar enunciamos, sin demostrarlas, unas relaciones que poseen las aplicaciones, y que proponemos al lector como ejercicios :

      Proposición 5.10: Sean A, B, A', B' conjuntos y f una aplicación,

image image image image image image image

       Tomemos a continuación f.X >Y, entonces :

image image image

      Terminemos esta sección introduciendo el concepto de biyección :

      Definición 5.11: Una aplicación que sea a la vez inyectiva y suprayectiva se dice que es una aplicación biyectiva o es una biyección.

      Para desarrollar los conceptos enunciados necesitamos un sexto axioma :

       VI Axioma de amalgamación

       Si x es conjunto, también lo es x.

      Definición 6.1: Sean x e y dos clases. Se llama producto cartesiano de x e y a la clase de pares ordenados dada por

image

      Teorema 6.2: Si u e y son conjuntos, también lo es {u} × y.

       Demostración :

      Construyamos una aplicación f: Y → {u} × y, cuya gráfica es

image

      Entonces def f = y e Im f = {u} × y. Y por el Axioma de sustitución, {u} × y es conjunto.

      Teorema 6.3: Si X e Y son conjuntos, X × Y es conjunto.

       Demostración :

      Definamos la aplicación

image

      Debido al Axioma de sustitución, Im f es conjunto. Finalmente el Axioma de amalgamación conduce a que image Im f es también conjunto, de donde

image

      y por tanto X × Y es conjunto

      Corolario 6.4: Si A es una aplicación y def A un es conjunto, A (entendiendo como relación binaria, y por tanto una clase) es un conjunto.

       Demostración :

      Puesto que Im A también es conjunto, def A × Im A es un conjunto. Esto hace que

image

      Y el Teorema 2.1 permite asegurar que A es un conjunto.

      Definición 6.5: image

       Proposición 6.6:

       1º Si x e y son conjuntos, xy es también un conjunto.

       Dado A un conjunto, representaremos por 2A el conjunto {0,1}A Entonces existe una aplicación biyectiva entre image.

       Demostración :

      1º Tomemos f image


Скачать книгу
Яндекс.Метрика