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

Читать онлайн книгу Estructuras de álgebra multilineal - Joaquín Olivert Pellicer страница 8

Название: Estructuras de álgebra multilineal

Автор: Joaquín Olivert Pellicer

Издательство: Bookwire

Жанр: Математика

Серия: Educació. Sèrie Materials

isbn: 9788437094168

isbn:

СКАЧАТЬ de pueblos. Cada pueblo será miembro de la Federación, representado por su alcalde; pero los ciudadanos de un pueblo no son miembros de la Federación, salvo su alcalde que lo es, no como ciudadano, sino en calidad de representante de su municipio.

      En cuanto a image, pensemos en la comunidad europea, que la representaremos por x. Esta está formada por naciones. Pero cada nación estará definida por sus habitantes y las leyes con que se rige. Está claro que estos estados, por pertenecer a la comunidad, tendrán leyes comunes. Pues bien, estas leyes comunes a todos ellos serán image x. Por otra parte, image x estará formada por los miembros de todos los países que configuran la comunidad, así como las leyes vigentes en cada una de ellos. ¡Desde luego image x no sería muy aconsejable políticamente!

      Teorema 1.13: image

       Demostración :

      Tomemos un image. De su definición y del Axioma de clasificación, se sigue que 2 es conjunto que tiene que verificar que

image

      Pero image es falsa. Esto conduce a que (1.13.1) es verdadera en virtud de la definición del implicador image. No sólo eso, sino que (1.13.1) es verdadera para cualquier conjunto z de .

      En cuanto a la segunda igualdad, está claro que image no posee ningún elemento. Luego por el Axioma de extensión debe coincidir con image.

      Definición 1.14: Se dice que x está contenido en y si y sólo si para cada z

image

       Entonces se dirá que la clase x es subclase de la clase y. Se simboliza

image

       y se lee “x está contenido en y”.

      Fijémonos: el símbolo image (llamado también relación de inclusión) es totalmente distinto al símbolo de pertenencia image. Veamos el ejemplo de los pueblos :

      Si definimos un pueblo como una clase de casas. Está claro que los inquilinos de las casas no son elementos del pueblo, sino que son miembros de sus respectivas casas (los elementos del pueblo son sus casas, según la definición que hemos dado de pueblo).

      En cambio si definimos el pueblo como una clase de individuos. Cada habitante será elemento del pueblo, y las casas dejarían de serlo. Pero cada casa posee sus inquilinos (sus elementos), que son a su vez elementos del pueblo. En tal caso, las casas serían subclases de la clase pueblo.

      Teorema 1.15:image

       Demostración :

      En cuanto a la primera inclusión, tomemos un z arbitrario y analicemos la siguiente implicación

image

      Al ser falsa image, resulta que esta implicación es verdadera, independientemente del valor de verdad que tenga z image x.

      En la image inclusión se razona del siguiente modo: Sea z image x., entonces z es conjunto y, por tanto, z image image. En virtud de la Definición 1.14, image

      Obsérvese que de la definición de la clase vacía es falso que image image image en cambio, sí tiene sentido image image image, en virtud de este teorema.

      Para finalizar esta Sección enunciaremos algunas propiedades más, de las que omitiremos sus demostraciones por considerarlas inmediatas si nos atenemos a las definiciones establecidas.

image image image image image

      Los dos axiomas establecidos en la sección precedente resultan insuficientes para estudiar todas las propiedades de los conjuntos. Así por ejemplo, todavía no podemos saber si las subclases de un conjunto son conjuntos, o que la intersección de dos conjuntos es conjunto. Igualmente desconocemos qué sucede con la unión de dos conjuntos. Necesitamos, pues, de más axiomas. Uno de ellos se refiere a los llamados subconjuntos, que son subclas propias

       III Axioma de subconjuntos

      Si x es un conjunto ,existe un conjunto Y tal que para cada z

image

      Teorena СКАЧАТЬ