CONJUNTOS

TEORIA DE CONJUNTOS
Conjunto finito, cuando un conjunto posee un n�mero determinado de elementos. En
caso contrario se llama infinito.
N={0,1,2,3,...}

Z={...,-n,...,-3,-2,-1,0,1,2,3,...,n,...}

Q = n�meros racionales (-1/3,123/436...) R= n�meros reales

C= n�meros complejos

Conjunto unitario, aquel constituido por un s�lo elemento

PARTES DE UN CONJUNTO
El conjunto partes de E ( P(E) ) es aqu�l cuyos elementos son todos los
subconjuntos de E, incluyendo el vac�o y el propio E .
P(E)={�,A,B,C,...,E}

Aunque un conjunto sea vac�o, el conjunto de partes tiene un elemento.

INCLUSION y PERTENENCIA
Un conjunto A est� incluido en otro conjunto B, si todos los elementos de A
pertenecen tambi�n a B. En alg�n caso un conjunto puede ser considerado como
elemento de otro conjunto.
RELACIONES BINARIAS
Sean A y B dos conjuntos dados. Se dice que se ha definido una relaci�n binaria R
entre los elementos de A y B ,cuando se ha dado una propiedad p tal que cualquier
pareja (x,y)AxB cumple o no dicha propiedad p.
Si (x,y) pertenece a AxB se representa xRy

GRAFO DE UNA RELACION BINARIA

Es un subconjunto del conjunto (cartesiano) AxB al que pertenecen todos los
elementos que cumplen la propiedad p.
PROPIEDADES DE LAS RELACIONES BINARIAS
Propiedad reflexiva
hay que llegar a demostrar que xRx

Propiedad sim�trica

se debe de demostrar que si xRy yRx

Propiedad antisim�trica

Si xRy para que yRx necesito x=y

Propiedad transitiva

x,y,z A debemos demostrar que:

si xRy e yRz => xRz

RELACIONES DE EQUIVALENCIA
Son aquellas que verifican las propiedades reflexiva,sim�trica y transitiva.
CLASES DE EQUIVALENCIA
Se llama clase de equivalencia respecto de R,definida por el elemento a que
pertenece el conjunto C, al subconjunto formado por todos los elementos xC que
est�n relacionados con a. Toda clase de equivalencia contendr�, el menos , a su
representante a . C[a]={ x de G/ xRa }
CONJUNTO COCIENTE
Es el conjunto formado por todas las clases de equivalencia (C/R)
RELACION DE ORDEN
Es aquella relaci�n que verifica las propiedades reflexiva,antisim�trica y
transitiva. Si s�lo verifica la antisim�trica y la transitiva se llama de preorden.
Las relaciones de orden pueden ser: de orden total o de orden parcial ;son de orden
total si cumple la propiedad conexa,es decir, xRy � yRx . En caso contrario ser� de
orden parcial.
DEFINICIONES
Debido a la dificultad de formatear el texto se prescinde de este punto.
Cota superior, cota inferior, conjunto acotado, extremos, maximal, minimal.

NOTA :Esta pagina utiliza el tag MATH de HTML 3.0. Si tu programa no lo soporta
veras alguna de las funciones de manera incorrecta.
[Siguiente] [Anterior] [Pagina de Adolfo] [Indice]
Para mas informacion o sugerencias:

proye1@zeus.etsimo.uniovi.es