ТОП просматриваемых книг сайта:
Estructuras de álgebra multilineal. Joaquín Olivert Pellicer
Читать онлайн.Название Estructuras de álgebra multilineal
Год выпуска 0
isbn 9788437094168
Автор произведения Joaquín Olivert Pellicer
Жанр Математика
Серия Educació. Sèrie Materials
Издательство Bookwire
Definición 7.2: Se llama clase de equivalencia de un elemento b a la clase formada por los elementos equivalentes a b.
Proposición 7.3: Sea C(a) la clase de equivalencia de a. Dos elementos arbitrarios b y c de C(a) son equivalentes.
Demostración :
Por ser b equivalente a a,b a, y por ser c equivalente a a, c£ a. En virtud de la Propiedad simétrica, a c. Y la Propiedad transitiva hace que b c. Luego b y c son equivalentes.
Proposición 7.4: Dos clases de equivalencia que tengan un elemento común son iguales.
Demostración :
Sea
y elijamos un
Definición 7.5: Consideremos una relación de equivalencia en C. Se llama clase cociente a la clase formada por las clases de equivalencia de , y se representa por .
Entre C y
Evidentemente esta aplicación es suprayectiva.
Proposición 7.6: Si es conjunto, es conjunto.
Demostración :
Debido a que
Ahora bien, dado que def
Es frecuente en un principiante confundir
Establezcamos en una nación una relación binaria que consiste que dos individuos estén relacionados si se hallan empadronados en un mismo centro. Está claro que esta relación es de equivalencia. Sus clases de equivalencia formarán los pueblos que integran la nación. La unión de todos los pueblos será esta misma nación. En cambio, el conjunto cociente resulta ser la ¡Federación de pueblos!, que, desde luego, es totalmente distinta a la unión.
1 El Teorema de Incompletitud de Godei asegura que todo sistema lógico es incompleto. Esto quiere decir que simpre habrá proposiciones que no podrán ser confirmadas ni negadas en el marco del cuerpo axiomático en que se trabaja: proposiciones indecidibles. Si se tuviera una Teoría de Conjuntos completa, ésta no sería lógica, pues sería incompatible con el Teorema de Incompletitud, por lo que contendría contradiciones entre sus proposiciones.
2. El axioma de elección
Continuando con la construcción de una teoría de conjuntos, abordamos en este Capítulo el Axioma de elección. Quizá es el axioma más controvertido de la axiomática conjuntista, pues históricamente no ha sido aceptado por todas las escuelas de matemáticos. Por ello, los partidarios del mismo se han esforzado en buscar equivalencias con otras proposiciones que en otros sistemas lógicos se consideran como puntos de partida.
Con el fin de obtener una clara exposición sobre este particular, desarrollamos el concepto de la buena ordenación que poseen los conjuntos y que ya Cantor lo había utilizado en sus primeros trabajos sobre los números transfinitos. Luego abordaremos el concepto de ordinal y de número ordinal. Se probará que la clase de los números ordinales es propia y goza de una buena ordenación. Ello nos servirá para obtener consecuencias equivalentes del Axioma de elección ya citado, y que abordaremos en la última Sección de este Capítulo. Pero los ordinales también serán utilizados en el siguiente capítulo para construir los números naturales y los cardinales en general.
2.1 Buena ordenación
Definición 1.1: Sea R una relación binaria. Se dice que R conecta a X si y sólo si
Se dice que z es un R-primer elemento de X si y sólo si z X y dado y X, con y ≠ z, es falso que (y, z) R.
Definición 1.2: SeaU una relación binaria. 1Z ordena bien a X si conecta a X y
Definición 1.3: Un orden es una una relación binaria que no posea la Propiedad simétrica y tenga al menos la Propiedad transitiva. Si además goza de las Propiedades reflexiva y antisimétrica, se dirá que es una relación de orden. (Véase Sección 4º del capítulo precedente).
La formulación empleada es x y que representa (x, y) G TZ. En esta nueva notación, se expresa diciendo que “x está -relacionado con y“ o que “x precede a y“. Obsérvese además que si una relación binaria posee la Propiedad reflexiva, la asimétrica queda sustituida por la Propiedad antisimétrica.
Teorema 1.4: Si
Demostración :
Consideremos u,v
Ahora bien, debido a que u,v