Página de pruebas

Enlaces:


http://en.wikipedia.org/wiki/Mathematical_logic

http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica

http://fr.wikibooks.org/wiki/Algèbre

http://es.wikibooks.org/wiki/Categoría:Wikilibros

http://fr.wikibooks.org/wiki/Categoría:Principal

http://en.wikibooks.org/wiki/Help:Template

http://es.wikipedia.org/wiki/Categoría:Matemáticas


http://fr.wikibooks.org/wiki/Alg%C3%A8bre:Th%C3%A9orie_%C3%A9l%C3%A9mentaire_des_ensembles

http://en.wikibooks.org/wiki/Topology/Set_Theory/Axioms

http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory

http://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel


{{MatDefinición}} {{MatNotación}} {{MatNota}} {{MatAxioma}} {{MatTeorema}}

{{VocTabla}} {{VocFila}} {{IdiomaTablaIPA}} {{IdiomaFilaIPA}} {{IdiomaTablaTransf}} {{IdiomaFilaTransf}} {{Qif}}

{{FrancésConjugación}} {{FrancésTablaConjugación}} {{FrancésTablaConjugación1erGrAvoir}} {{FrancésTablaConjugación2GrAvoir}}

{{FrancésGramática}} {{FrancésVocabularioTemas}} {{FrancésLecciones}} {{FrancésApéndices}} {{FrancésEjercicio}} {{FrancésModosYTiempos}}


{{WikipediaEnFrancés}} {{WikipediaEnFrancés2}}





http://fr.wiktionary.org/wiki/Wiktionnaire:Liste_de_tous_les_mod%C3%A8les/Fran%C3%A7ais/Conjugaison#Auxiliaire_avoir


les membres de la famille Pronunciación los miembros de la familia Ejemplos y notas
le père /pɛʀ/ el padre 1
le père el padre Esto es un ejemplo2
le père /pɛʀ/ el padre 3
le père /pɛʀ/ el padre 4
le père /pɛʀ/ el padre 5
le père /pɛʀ/ el padre
le père el padre 7
le père /pɛʀ/ el padre




Definición: Topología. Espacio topológico. Abierto

Sean:

  • un conjunto
  • Conjunto de partes de


define una topología sobre


Espacio topológico

A los elementos de se les denomina conjuntos abiertos o simplemente abiertos


Teoría de conjuntos

editar

(TODO --> Dar una introducción histórica. Hablar de la paradoja de B. Russell y de la teoría intuitiva y axiomática de conjuntos.

Las tres siguientes definiciones no son en realidad tales. Son conceptos primarios que en realidad no se pueden definir:

Definición: Conjunto. Elemento. Pertenencia.

Sean: {{{lista}}}


Un conjunto es cualquier colección de objetos determinados y bien distintos en nuestra percepción o pensamiento, reunidos en un todo.

Un elemento es cada uno de los elementos que constituyen un conjunto.

La pertenencia relaciona los elementos con los conjuntos que constituyen.


Notación: Si   es un conjunto y   uno de sus elementos, la pertenencia se denota así:   y diremos que   pertenece a  .

Si por el contrario   no es un elemento del conjunto  , se denota así:   y diremos que   no pertenece a  .


Nota: Un conjunto   puede representarse así:

  • Por extensión:   , donde   ... son elementos de  .
  • Por comprensión:   verifica una propiedad determinada  

Axiomas de la Teoría de Conjuntos

editar

Para demostrar algunos resultados fundamentales de la teoría de conjuntos y comenzar a definir otras ramas de las matemáticas basadas en ella, necesitamos comenzar con un conjunto de axiomas que asumimeremos que son verdaderos. Hay varias opciones para escoger los axiomas. Los mas populares son el sistema de Zermelo-Fraenkel o de forma mas general el de Zermelo-Fraenkel con el Axioma de Elección.

Comenzaremos por construir la axiomática conocida como  


Axioma: Axioma de extensionalidad

 


Dos conjuntos son iguales si y solo si poseen los mismos elmentos.


Axioma: Axioma del conjunto vacío

 


Existe un conjunto sin elementos


Notación: Por el axioma de extensionalidad se puede demostrar la unicidad de éste conjunto sin elementos B. Lo llamaremos conjunto vacío y lo designaremos por   o  


Axioma: Axioma de separación (también llamado axioma de subconjuntos o de comprehension)

 


Establece la existencia para cualquier conjunto A y una fórmula P(C) de un conjunto B que consiste en todos los elementos de A que satisfacen P(C)


Axioma: Axioma del Par

 


Postula que dados dos conjuntos existe un tercero cuyos elementos son los dos conjuntos dados.


Axioma: Axioma de la Unión

 


Postula que dado un conjunto cualquiera existe el conjunto de los elementos de los elementos de dicho conjunto.


Axioma: Axioma de las Partes