10.07.2015 Views

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Una relación <strong>de</strong> or<strong>de</strong>n parcial ≤ sobre un conjunto X es unor<strong>de</strong>n total si para cada par x, y <strong>de</strong> elementos <strong>de</strong> X se tieneexactamente una <strong>de</strong> las situaciones x = y, x < y o y < x. Eneste caso <strong>de</strong>cimos que el conjunto X está totalmente or<strong>de</strong>nado.Ejercicios0.8. CardinalidadDecimos que dos conjuntos X y Y son equipotentes si existe unafunción biyectiva <strong>de</strong> X en Y . Afirmamos que existen conjuntosque se llaman números cardinales, <strong>de</strong> tal manera que cadaconjunto X es equipotente con exactamente un número cardinalque se <strong>de</strong>nota por |X| y recibe el nombre <strong>de</strong> cardinal <strong>de</strong> X.Si A y B son números cardinales, <strong>de</strong>cimos que A ≤ B si y sólosi existe una función uno a uno <strong>de</strong>finida <strong>de</strong> X en Y . La relación≤ es un or<strong>de</strong>n parcial sobre el conjunto <strong>de</strong> números cardinales.Los siguientes hechos son evi<strong>de</strong>ntes:1. |X| = |Y | si y sólo si X y Y son equipotentes.2. |X| ≤ |Y | si y sólo si X es equipotente con algún subconjunto<strong>de</strong> Y .Veamos ahora algunos números cardinales. El conjunto vacío esel cardinal 0 y el conjunto {0, ..., n − 1} es el cardinal n. Unconjunto X es enumerable si y sólo si X es equipotente con elconjunto N <strong>de</strong> los números naturales. En este caso escibimos13

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!