Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Conjuntos»

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 5:
<center><math>a\in x</math></center>
 
para indicar que el objeto <math>a</math> es uno de los elementos del conjunto <math>x</math>. Es decir, el símbolo "<math>\in</math>'", una versión de la letra griega <math>\epsilon</math> (épsilon), lo usaremos para representar la relación de pertenencia{{ref|1}}. Los argumentos de una relación son los objetos que acompañan a esa relación. En el ejemplo <math>x \in a</math>, los argumentos de la relación <math>\in</math> son <math>x</math> (primer argumento) y <math>a</math> (segundo argumento). Así, puede decirse que los primeros argumentos de la relación <math>\in</math> pertenecen al universo de los elementos, mientras que los segundos argumentos de esta misma relación pertenecen al universo de los conjuntos. Si aceptamos que todo es un conjunto (algo que, por ciertas razones que se verán en su momento, haremos cuando se desarrolle la teoría axiomática de conjuntos), entonces los primeros y segundos argumentos de <math>\in</math> pertenecen al mismo universo.
 
La negación de <math>a\in x</math> la escribiremos
Línea 50:
----
 
{{nota|1}}Peano fue el primero representar la relación de pertenencia por la letra <math>\epsilon</math> en sus ''Arithmetices Principia'' (1889), por ser la primera letra de la palabra griega <math>\acute\epsilon\sigma\tau\grave\iota</math>, que significa `"está'".