Estructuras de álgebra multilineal. Joaquín Olivert Pellicer

Читать онлайн книгу.

Estructuras de álgebra multilineal - Joaquín Olivert Pellicer


Скачать книгу
también se extiende para toda relación de orden arbitraria .

      Lema 3.7: Si k es una cadena y cada miembro de k es una cadena, k es una cadena.

       Demostración :

      Tomemos x, z image imagek. Existen m, p image k tales que x m, z p. Por ser m, p elementos de la cadena k, m p ó p m. Supongamos que m image p. Entonces x image p, es decir, x, z image p, y al ser p cadena por hipótesis, x z ó z image x. En virtud de la Definición 3.6, image x es una cadena.

       Principio maximal de Hausdorff

      Teorema 3.8: Sea x un conjunto. Existe una cadena n tal que nx, de manera que dada otra cadena m con mx y nm, se cumple n = m.

       Demostración :

      Para cada aplicación h definimos la clase

image

      Evidentemente Yh es conjunto por verificar Yh ⊂ V(x). Tomemos una función F que satisfaga el Axioma de elección y definimos la aplicación g como

image

      En virtud del Teorema 2.26, existe una función /, en la que def / es ordinal y que f(u) = g(f|u) para todo ordinal u. Por definición de g, dado u image def f, f(u) = g(f|u) = F(Y fu) £ Y fu. Luego /(tt) es una cadena de x, y por tanto f(u) ⊂ x.

      Tomemos u,v image def f distintos. Al ser u, v ordinales, uno es estrictamente mayor que el otro. Consideremos, por ejemplo, u < v; lo que es equivalente a que u v. Entonces f(u) image f(v), luego f(u) ≠ f(v). Por consiguiente, F es inyectiva. Esto hace que f-1 sea una aplicación. A partir de esta conclusion y puesto que X es conjunto, el Axioma de sustitución asegura que Im f-1 = def f es conjunto, es decir, un númro ordinal, esto hace que def fimage image . lamemos n este ordinal. Con ello se obtiene que, puesto que def f image def f, n image def f; y por tanto f(n) = image, es decir, g(f) = g(f|deî) = . Pero esto contradice el hecho de que g(f) es un elemento de Y), o lo que es lo mismo g(f) no sería una cadena. Por consiguiente, no hay ninguna cadena contenida en x y que contenga propiamente a cada elemento de Imf. Ahora bien, por construcción de /, Im f es una cadena, y cada miembro de Im f es una cadena por ser imagen de un ordinal. Entonces, en virtud del Lema 3.7, image Im f es una cadena que contiene a todo elemento de Im f. Llamemos, pues, n = lm f.

      Definición 3.9: Una clase Xx se dice que está parcialmente ordenada respecto a la relación binaria si x y e y z, entonces x z.

      Es decir que sólo se exige que la relación binaria posea la Propiedad transitiva. En realidad, de acuerdo con el Teorema de la buena ordenación, todo conjunto admite un buen orden respecto a la relación de orden definida en el Teorema 3.3. Para esta relación todo conjunto está parcialmente ordenado; pero puede suceder que no lo sea para otro tipo de relaciones binarias.

      Definición 3.10: Sea A un subconjunto de un conjunto X parcialmente ordenado con la relación binaria . Se dice que c X es cota superior de A si y image c para todo y image A. Y se dirá que c es cota inferior de A si c image y para todo y image A. La menor de las cotas superiores de un conjunto se ¡lama supremo, y la mayor de las cotas inferiores es llamada ínfimo.

      Un elemento m image A se dirá que es maximal si no existe ningún elemento y image A que verifique que m image y. Y se dirá minimal si tampoco existe un y image A tal que y image m.

      Definición 3.11: Sea X un conjunto parcialmente ordenado con la relación de orden . Se dice que X es un conjunto inductivo (o inductivamente ordenado) si toda cadena posee una cota superior.

      Con estas nuevas definiciones, prosigamos estudiando consecuencias del Axioma de elección y sus equivalencias.

      Teorema 3.12: (Lema de Zorn) Todo conjunto inductivo posee un elemento maximal. Demostración :

      Sea X un conjunto inductivamente ordenado por una relación de orden . Para cada a x definimos

image

      y con Xa, construimos S = {Xa :a image x }.

      La aplicación

image

      es biyectiva y conserva el orden, es decir,

image

      Esto implica que S es inductivo con la relación de inclusión C, luego en virtud del Teorema 3.8 posee un elemento maximal, y por lo tanto X también lo tiene.

      Teorema 3.13: Todo elemento de un conjunto inductivamente ordenado precede a un elemento maximal. Demostración :

      Sea A un conjunto inductivamente ordenado y tomemos u image A. Formemos la siguiente


Скачать книгу