TEO RA B SICA DE C N JUNTOS O

Introdu ccin 1.1 . Pinceladas histricas En el ltimo cuarto del siglo XIX se vivi un episodio apasiona nte de la historia de las matemticas que las ligara desde entonces a la historia de la lgica. Primero, Georg Boole (1815-1864) en su Mathemati cal Analysis of Logic tra t de presentar la lgica como parte de las matemtica s. Poco despus Gottlob Frege (1848-1925) intent mostra r que la aritmtic a era parte de la lgica en su Die Grundlagen der Arithmetik. Pero, dando un gran paso tanto en la historia de las matemtica s como en la historia de la lgica, G. Cantor se haba ade- lantado a Frege con una fundame ntacin lgica de la aritmtica . Cantor haba demostrado que la totalida d de los nmeros naturale s comprendidos en el intervalo de extremos 0 y 1 no es numerable, en el sentido de que su infinitud no es la de los nmeros naturales. Como una consecuencia de esa situacin, Cantor cre una nueva disciplina matemt ica entre 1874 y 1897: la teora de conju ntos. Su obra fue admirad a y condenad a simultneame nte por sus contemporneos. Desde entonces los debates en el seno de la teora de conju ntos han sido siempre apasionado s, sin duda por hallarse estrechame nte conectados con importa ntes cuestiones lgicas. Segn la definicin de conjunto de Cantor, ste es una coleccin en un todo de determinado s y distintos objetos de nuestra percepcin o nuestro pensamien to, llamados los elementos del conjunto. Frege fue uno de los admira dores de la nueva teora de Cantor, y dio una definicin de conjunto similar. En 1903 B. Russell demostrar a que la teora de conjuntos de Cantor era inconsiste nte y cuestionara la definicin de conjunto en la teora de Cantor. Pero pronto la teora axiomtic a de Zermelo (1908) y refinamientos de sta debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros sentaron las bases para la teora de conjuntos actual.

Es indiscutible el hecho de que la teora de conjuntos es una parte de las matemticas, es adems, la teora matemtic a dnde fundame ntar la aritmtica y el resto de teoras matemticas . Es tambin indiscutible que es una parte de la lgica y en particular una parte de la lgica de predicados. En esta historia cruzada de las matemticas , la lgica y los fundame ntos de ambas, la teora de conjuntos permit ira por un lado una fundacin logicista de las matemticas; pero por otro lado la teora de conjuntos mirada como parte de las matemtica s proporciona el metalengu aje, el contexto o sustrato de las teoras lgicas. Finalmente, puede ser completamente expresada en un lenguaje de primer orden y sus axiomas y teorema s constituyen una teora de primer orden a la que pueden aplicarse los resultados generales que se aplican a cualquier teora de primer orden. En los captulos que siguen se presenta primero la teora intuiti va de con- juntos, basada en la original de Cantor, para seguir con sus problemas de incon- sistencia y la solucin axiomtica final como la teora de conju ntos de Zermelo- Fraenkel. 1.2. Teor a intuitiva de conjuntos 1.2.1. La selva de Cantor La definicin inicial de Cantor es totalme nte intuiti va: un conjunto es cualquier coleccin C de objetos determinado s y bien distintos x de nuestra percepcin o nuestro pensamiento (que se denominan elementos de C), reunido s en un todo. Igual que en Frege su idea de lo que es un conjunto coincide con la extensin de un predicado satisface el predicado). Esta idea sencilla y tan intuiti va resulta ser tambin ingenua porque produce enormes contradiccione s de inmediato , como por ejemplo la paradoja de Russell. Para formalizar esta teora poder mostrarlo es necesario empezar por de los smbolos para los intuiti va que, aparte (la coleccin de objetos que

conjuntos y sus elementos (x, C, etc.), tendr

los smbolos de pertenenci a e igualdad = (de los objetos del lenguaje formal).

Que x es un elemento del conju nto C se expresa x pertenece a C o bien x C. Que x no es un elemento de C se expresa x no pertenece a C (x / C). Tendremos en cuenta que no es necesario denotar siempre con maysculas a los conjuntos y con minsculas a sus elementos, ya que un conjunto puede ser a su vez un elemento de otro conjunto e incluso podemos considerar que en nuestra teora no hay objetos que no sean conju ntos. Cmo se determina una coleccin?

Listar los objetos. De acuerdo con la definicin intuiti va

de Cantor un con- junto queda definido si es posible describir comple tamente sus elementos. El procedimiento ms sencillo de descripcin es nombrar cada uno de sus elementos, se llama definicin por extensin; es conocida la notacin de encerrar entre llaves los elementos del conju nto. Ejempl o: A = {a, b , c}. Donde A es el conjunto coleccin de objet formado por la

1.2. TEORA INTUITI VA DE CONJU NTOS Si a, b y c. B = {, , , , } . Donde B es el conjunto formado exactamente por esos cinco crculos. Entonces es cierto que b A y que b / B. El inconveniente para este mtodo de listado o enumeracin de los elementos del conjunto es que stos deben poseer un nmero finito de elementos y, en la prctica, un nmero muy pequeo Qu hacer cuando la coleccin es infinita, o cuando es finita pero

numerosa? Describir los objetos. Cuando el nmero de elementos del conjunto es infinito (como el de los nmero impares) o demasiado numeroso (como el de todas las palabras que pueden formarse con el alfabeto latino) se utiliza el mtodo de definicin por intensin, que consiste en la descripcin de un conjunto como la extensin de un predicado, esto es, mediante una o varias propiedades (el predicado ) que caracteriza n a los elementos de ese conju nto. En principio podra tomars e cualquier lengua natura l para describir los objetos (espaol, ingls, italiano, vasco, cataln , etc), sin embargo es preferible como para lo utilizar un lenguaje formal que ofrezca rigor y precisin. Dicho lenguaje debe ser suficientemente rico; esto es, lo suficientemente expresivo poder describir todas matemticos. las colecciones matemticas. Pero tambin

suficientemente restrictivo como para limitarse a slo las colecciones de objetos

Para expresar

predicados utilizaremos

el lenguaje formal de la lgica de

pred icados de primer orden (el lenguaje de la lgica de proposiciones con los smbolos lgicos de las conectivas , , , , ms los cuantificadores universal y existencial ) al que se aade variables, igualdad y el relator binario de pertenenc ia. Este lenguaje puede ser ampliado con los smbolos propios de las operaciones, relaciones o funciones del lenguaje especfico de teora de conju ntos. En la primera parte, al presentar la Teora bsica de conjuntos, utilizaremos con frecuencia el lenguaje natura l para describir propiedades . Estas propiedades pueden ser aritmticas (<, , /, etc.) o matemt icas en general, pero tambin pueden ser propiedades expresadas en lenguaje natura l (nombres, verbos,...) que describan colecciones no estric tamente matemticas. Ejem plo: C = {x / 0 < x < 230000 2/x}, donde es el conjunto de los nmeros naturale s con la ordenacin habitual , < significa menor que y 2/x significa que 2 divide a x. D = {x/ x es una palabra repetidas)} E = {x/ P2 (x) P3 (x) P10 (x). Donde Pi (x) significa x es una palabra de i letras del alfabeto griego (pueden estar repetidas ). de 2 letras del alfabeto griego (pueden estar

1.2.2. Problemas en la teor a intuitiva de con juntos : la para doja de Russell Pero la definicin intuitiva de conju nto como el de una coleccin de objetos describible por un predicado conduce inevitablemente a ciertas contradicciones que se llaman paradojas, la ms clebre es la conocida como paradoja de Russell: Consideremos el conjunto A = {x: x / x}, descrito mediante el predicado del lenguaje formal x / x .

Obviamente, para cualquier B, B A si y slo si B / B. Es decir, est en A cuando verifica las condiciones que definen a A. Pero, qu sucede con el propio A? Evidentemente, A A si y slo si A / A. Pero este resultado es contradictorio . En vano se debe intentar descubrir un error en el razona miento, ms bien parece que el problema proviene de admitir expresiones como A A (o conjuntos como el conjunto de todos los conju ntos que produce tambin parad ojas).

Se ha visto clarame nte que el concepto de conjunto no es tan sencillo y que identificarlo sin mayor investigacin con el de coleccin resulta problemtico. Para evitar la parad oja de Russell, y otras de esta ms cuidado en la definicin de natural eza, es necesario tener primeras

conjunto, lo veremos en lo que sigue. Otras paradojas, de hecho las en descubrirse, afectaban a colecciones grandes, como por ejemplo la de los ordinales, o la de todos los conjuntos. Estas colecciones no podrn ser conju ntos.

1.2.3.

Solucin de las parad ojas Una solucin radical al problema de las paradojas es la propuest a en 1903 por Russell, su Teora de Tipos. paradojas conocidas hay una Observa que en todas las de del al eliminar componente de reflexividad,

circularidad . Tcnicame nte se evitan las paradojas

lenguaje las formaciones circulares. Se reconoce que nuestro universo matemtic o no es plano, sino jerarquizado , por niveles, y que el lenguaje ms adecuado para hablar de un universo? debe tener diversos tipos de variables que correspondan a cada nivel; en particular , la relacin de pertenencia se da entre objetos de distinto nivel.

En 1908 Zermelo da como solucin la definicin axiom tica de la Teora de Conjuntos, refinada ms tarde por Fraenkel, Skolem, von Neumann y otros. En esta teora se evita que las colecciones que llevaban a las paradojas puedan ser conjuntos. De hecho, en la solucin de ZermeloFraenkel, una coleccin de objetos ser un conju nto si los axiomas la respaldan . Dichos axiomas permiten formar conjuntos a partir de conjuntos previame nte construidos y postulan la existencia del y de al menos un conjunto Neumann infinito. Sin embargo, que en la solucin de von no son conju ntos, las

se admiten

colecciones

denominadas clases ltimas.

Se definen clases mediante propie dades, sin restriccin, pero habr que mostrar que se tra ta de conjuntos viendo que pertenecen a alguna clase. Las clases ltimas, como la clase universal o la de los ordinales, no pertenecen a ninguna otra clase.

1.3. EL UNIVERSO MATEMTICO 1.3 . El Universo matemtico

La idea intuitivamente ms fructfera y tambin la ms extendid a es que nuestro universo matemtico , -esto es, el que contiene todas las colecciones de objetos matemticos, pero solamente los objetos matemticos- consti tuye una jerarqua de conju ntos, la denominad a Jerarqu a de Zermelo. En la construccin de los conju ntos que formarn la jerarqua se parte de una coleccin inicial M0 una coleccin M1 coleccin M2 de objetos dados y a continuaci n se construye de M0 , despus una

de conju ntos de elementos

de conjuntos de objetos de M0

y M1 , etc. El universo de

conju ntos construidos es una jerarqua . Para proporcionar mayor precisin debemos responder a las pregu ntas siguientes: 1. 2. 3. Cal ser nuestra coleccin de partida, M0? Qu conjuntos de objetos de niveles inferiores se toman para formar nuevos niveles en la jerar qua? Hasta dnde se extiende esta jerarqua?

Para responder a la primera pregunta debemos considerar si nos interesa tomar objetos que no sean conju ntos o si nos basta con partir de un primer nivel que sea sencillamente el conjunto . Est claro que se toman slo objetos matemticos , pero habr que ver que es suficiente y que podremos finalmente contar en la jerarqua con todos los objetos matemt icos. Una respuesta a la segunda pregunta que parece razonable es, al ir toman do nuevos conjuntos, que stos se puedan describir con nuestro lenguaje. Al tomar esta opcin formamos la Jerarqu a de conjuntos constructibles . Otra posibilidad es tomar como objetos de un nuevo nivel a todos los posibles. Veremos que esta es la opcin de Zermelo.

Finalme nte, la tercer a de las preguntas es hasta donde se extiende la

jerarqua. La respuesta es que la jerarqua de conju ntos no tiene fin, siempre se pueden construi r nuevos niveles. Para precisar un poco ms esta imagen intuiti va de nuestro Universo matemti co es conveniente contar con algunas nociones de teora de conju ntos bsica y con el concepto de ordinal. Por ello volveremos sobre este tema cuando tengamos el equipamie nto necesario. 1.4 . Teor a axio mtica de conjuntos Recordemos los componentes de una teora axiomtica: 1. 2. El lenguaje o smbolos formales de la teora. Los axiomas, que son proposiciones acerca de los objetos de la teora y que imponen el funciona miento de dichos objetos. 3. Los teoremas, que son todas las proposiciones demostrables herramientas lgicas a partir de los axiomas. En la teora de conjuntos axiomt ica de Zermelo Fraenkel se usar el lenguaje formal de la lgica de predicados de primer orden. Las variables de dicho lenguaje formal se referirn a conjuntos; es decir, en la interpretacin usual todos los objetos son conjuntos. Es decir, existir ser sinnimo de ser un conjunto . El lenguaje bsico slo tiene el relator binario de pertenencia , pero se extiende, mediante definiciones pertine ntes, para dar cabida a operaciones. Los conceptos primitivos de esta teora son el de conjunto y el de pertenencia. En realidad la mayora de los axiomas sirven para gara ntizar la existencia de los conju ntos que nos interesa tener. Por ello la idea de construccin es esencial en la teora axiomtica de Zermelo-Fraenkel (que notaremos ZF). con

En la teora axiomtica de conjuntos se respeta la idea fundame ntal de

aceptar que una coleccin de objetos pueda ser un conjunto, pero se impone la condicin de que todos los objetos de una coleccin deben haberse formado antes de definir dicha coleccin, y de esta manera se evitarn los problemas que conducen a las parad ojas. Uno de los axiomas de la teora (se ver ms adela nte) impondr esta restriccin: Si X es un conjunto ya construido existe un conjunto Y formado por los elementos de X que satisfacen un predicado P que los describe (o lo que es lo mismo, una frmula con al menos una variable libre). As un predicado describir un conju nto slo si los objetos han sido ya construidos (son de otro conjunto X) y adems satisfacen el predicad o. Con esta restriccin a la definicin de conjunto de Cantor desaparece la paradoja de Rusell ya que para que A = {x : x / x} sea un conju nto se debera tener un conjunto X a partir del cual construirse; es decir, A = {x X : x / x}. Cmo se resuelve la paradoja? Al construirse a partir de un conjunto ya construido desaparece el problema. Ahora, para cualquier B se verifica: B A si y slo si B X y B / B. En realidad, puesto imposible que exista el conju nto de todos los conju ntos Los teorema s de ZF se derivan de los axiomas, pero para que tengan inters deben mediar definiciones de conceptos y operaciones nuevas. Aunque en principio podra usarse un clculo deductivo de primer orden, en la prctica resulta desaconsejable. que la condicin B / B la cumplen todos, A ser el propio X. Adems, es

LGEBR A DE CO JUNTOS N

2.1.

El lenguaje de la Teora de Con juntos en el que

A continuacin presentamos el lenguaje de primer orden L escribiremos la Teora de Conju ntos. Puede entenderse distintas: como lenguaje

de dos maneras en

formal y como abreviatur as de expresiones

espaol. Esta segunda interpre tacin ser posiblemente la conveniente en un curso introduc torio, antes de conocer la lgica de primer orden.

Los smbolos del lenguaje formal de la teora de conjuntos sern:

conju ntos es . (negacin),

Los smbolos de conjuntos sern las letras del El smbolo de la relacin de pertenencia entre

alfabeto, maysculas y minsculas.

Los smbolos lgicos de la lgica de predicados: (conjuncin), (disyuncin), (implicacin),

(equivalencia), (cuantificador universal) y (cua ntificador existencial) y (, ) (par ntesis).

Con estos signos bsicos se generan lgica de primer orden. A saber: 1. 2. 3.

todas las frmulas de la teora

de

conjuntos. Las reglas de formacin de frmulas son las habituale s en la x y y x = y son frmulas. Para cualesquiera variables x, y. Si y son frmulas, tambin lo son: , , , y Si es una frmula, x y x tambin lo son.

FORM( L ) se generan mediante las reglas precedentes:

2.2.

Igua ldad , inclusin y conjunto vaco Definiciones: A / B es la abreviacin de no pertenencia (A B) Igualdad (Axioma de extensionalidad) . x(x A x

B) A = B Si todo elemento lo es de A si y slo si lo es tambin de B entonces A y B coinciden. Inclusin, subconjunto: A B A est incluido en B (A es subconjunto de B), es una abreviatur a de x(x A x B)) (todo elemento de A es elemento de B). B) (A = B). ) Teoremas: Los resultado s siguientes son teoremas que se deducen de Conjunto vaco: es el nico conjunto tal que x(x / ) para todo x, x no pertenece a (ningn elemento pertenece a Inclusin estric ta: A B es una abreviatura de (A

manera directa de las definiciones anteriores 1. 2. 3. 4. A( A) A (A A) AB ((A B) (B A) (A = B)) ABC ((A B) (B C) (A C))

2.3.

Opera ciones

Definiciones Unin. A B = {x/ (x A) (x B))} A unin B

est formado por los elementos que estn en A o en B. Se verifica: x(x A B (x A) (x B)) Inters eccin A B = {x/ (x A) (x B)} A formado por los elementos que estn en A y tambin interseccin B est

en B. Se verifica: x(x A B (x A) (x B)) Diferencia A B = {x/ (x A) (x / B)} A menos

B est formado por los elementos que estn en A pero no en B. Se verifica: x(x A B (x A) (x B)) 2.3. OPER ACIONE S Teoremas 1. AB (A A B) 2. AB (A B A) 3. AB ((A B) (A B = B)) 4. AB ((A B) (A B = A)) 5. A (A A = A). Idempotencia. 6. A (A A = A). Idempotencia.

7. AB (A (A B) = A). Absorcin. 8. AB (A (A B) = A). Absorcin. 9. AB (A B = B A). Commutatividad. 10. AB (A B = B A). Commutatividad.

11. AB (A B = B A) 12. A ( A = ) 13. A (A = A) 14. A (A = ) 15. ABC ((A B) C = A (B C)). Asociatividad. 16. ABC ((A B) C = A (B C)). Asociatividad.

RELAC IONE S Y FUNC IONES

3.1.

Clases un itarias, pares y dada s Definiciones Par desordenado. {x, y} = {z/ (z = x) (z = y)}); es el

conjunto formado por los elementos x, y. Clase unitaria. {x} = {x, x}

Notacin : {x, y, z} = {x, y} {z}. Par ordenado.

x, y

= {{x} , {x, y}}

Teoremas 1. xyzv (({x, y} = {z, v}) ((x = z y = v) (x = v y = z))) 2. xy (x = y 3. xyzv ( 3.2.

x, y x, y

= {{x}}) (x = z y = v))

z, v

Con junto potencia (o conjunto de las pa tes de un con junto) r Definicin Parte s de un conjunto . PA = {C/ C A}, partes de A est formado por los subconjuntos de A. Teoremas 1. 2. 3. 4. A ( PA) A (A PA) AB ((PA PB) P(A B)) AB (PA PB = P(A B))

3.3.

Gran un in y gra n interseccin Definiciones

gran unin

Gran unin. A = {x | A (A A x A)}. La del conjunto A est formado por los objetos que son Gran inters eccin. A = {x | A (A A

elementos de algn elemento de A. x A)}. La gran inter seccin del conjunto A est formado por los objetos que son elementos de todos los elemento de A. Co nvencin : =

Teoremas 1. AB ( {A, B} = A B) 2. AB ( {A, B} = A B) 3. AA ((A A) (A A)) 4. A ( PA = A) 3.4. Producto cartes iano Definici n Producto cartesian o de dos conjuntos . A B = {z | uv(z =
u, v

u A v B)}

Est formado por los pares ordenados cuyos primera componente es de A y la segunda de B. Teoremas 1. 2. 3. 4. ABC (A (B C) = (A B) (A C)) ABCD ((A B) (C D) = (A C) (B D)) ABC ((A B) C = (A C) (B C)) AB (A B PP(A B))

3.5 .

Relacio nes binarias Definiciones Relacin binaria . Una relacin binaria es una clase
y, z

de pares ordenados. R(R es una relacin yz (x = La llamaremos simpleme nte relacin. R Teorema s: Los resultado s siguientes son teoremas Dominio. Dom R = {x | y
y, x x, y

).

R} Rango.

Rang R = {x | y

R} Campo. Camp R = Rang R Dom

que se deducen de

manera directa de las definiciones anteriores. 1. es un relacin

2. R ((R es una relacin) (R (Dom R Rang R))) 3. RS ((R es una relacin S R) (S es un relacin)) 4. RS ((R es una relacin S es una relacin) ((R S es una relacin) (R S es una relacin) (R S es una relacin )))

5. RS (Dom (R S) = (Dom R Dom S)) 6. RS (Dom (R S) (Dom R Dom S)) 7. RS (Dom (R S) (Dom R Dom S)) 8. A((A(A A A es relacin)) ( relacin )) 3.6 . Relaci n inversa , product o relati vo y restr iccin Definiciones
z, y

A es relacin A es

Relacin inversa. R1 = { Producro relativo . R/S = { S}

x, y x, y

y, x

R} R

| z (

x, z

x, y

Restriccin de una relacin a un conjunto. R A = { |

x, y

R x A}

Teoremas 1. 2. 3. 4. xy (
x, y

R1

y, x

R)

R (R1 es una relacin) R ( (R1 )1 R ) R ( R es una relacin R = (R1 )1 )

3.7.

Imagen bajo una relaci n y relaci n identida d. Definiciones Imagen de A bajo R. R [A] = Rang R A Identidad sobre A. IA = {
x, y

| x A}

Teoremas 1. 2. 3. 4. 5. 6. 3.8. x ((x R [A]) (y (

y, x

R y A)))

RAB (R [A B] = R [A] R [B]) RAB ((R [A B]) (R [A] R [B])) RAB (R [A B] = R [A] R [B]) RAB ((R[A B] (R [A] R [B]) RAB (R [A B] = R [A] R [B])

Prop iedade s de ciertas re laciones Definiciones R es reflexiva si y slo si x ((x Camp R) ( R es simtri ca si y slo si xy (( R es transitiva si y slo si xyz ((
x, z x, y x, y x, x y, x y, z

R)) R)) R) ( / R)) / R)) R) ( R) (x

x, y

R) ( R

R))
x, x y, x y, z

R es irreflexiva si y slo si x ((x Camp R) ( R es asimtrica si y slo si xy ((

x, z x, y

R) ( R R

R es intransitiva si y slo si xyz (( / R)) R es antisimtri ca si y slo sixy (( = y))

x, y

x, y

y, x

R est conectada xy ((x, y Camp R) x = y) ( R

y, x

R))

R est fuertemente conectada xy((x, y Camp) (

y, x

x, y

R))
x, y

R es eucldea xyz ((

x, z

R) (

y, z

R))

 R es incestuosa xyz(( R
x, u

x, y

x, z

R) (u(

y, u

R)))

3.9. Relaciones de Equi valencia Teoremas 1. R ((R es asimtrica) (R es antisimtrica)) 2. R ((R esta fuer temente conec tada) (R esta conec tada) ) Definiciones R es una relacin de equivalencia si y slo si R es una

relacin y R es reflexiva, simtrica y transiti va. R es una relacin de equivalencia sobre A si y slo si Camp R

= A y R es una relacin de equivalencia .

y, x

Clase de equivalencia de x Camp R segn R : [x]R = {y | R} Cociente. Si R una equivalencia sobre A , el cociente de A por R

es A/R = {[x]R | x A}. H es una particin de A si y slo si x (x H x = ) xy

(x, y H x = y x y = ) H = A

Relacin de equivalencia asociada a una particin. Si H es una part icin se define la relacin de equivalencia: RH = {hx, yi | B (B H x B y B)} Teorema s: Los resultado s siguientes son teoremas que se deducen de

manera directa de las definiciones anteriores. 1. R ((R es una relacin de equivalencia) (xy(x, y CampR (( 2.
x, y

R) ([x]R = [y]R ))) ([A]/R es

R ((R es una relacin de equivalencia sobre A) una particin de A))

3. H ((H es una particin equivalencia sobre A))

de A)

(RH

es una relacin de

4. A(R(((R A) (R es de equivalencia) equivalencia)) 3.10. Relaciones de Orden Definiciones

) (

A es de

R es una relacin de orden (parcial ) si y slo si R es una relacin R es un orden (parcial) sobre A si y slo si Camp R = A y R R es un orden lineal si y slo si R es una relacin de orden y

y R es reflexiva y antisimtric a y transiti va. es una relacin de orden. R esta conectada.

R es un orden lineal sobre A si y slo si Camp R = A y R es una Un conjunto parcialmente ordenado es un par Un conjunto linealmente ordenado es un par Sea
A, R A, R

relacin de orden lineal. formado formado por un conjunto A y un orden parcial sobre A.
A, R

por un conjunto A y un orden lineal sobre A. un conjunto parcialme nte ordenado y sea Y A. Un elemento a Y es un elemento minimal de Y si y slo si
x.a

x(x Y

R).

Un elemento a Y es primer elemento de Y (mnimo de Y )

a, x

si y slo si x(x Y

R).
A, R

Un conjunto parcialmente ordenado Cuando

A, R

, est bien fundado

si cada subconjunto no vaco de A posee elemento minima. est linealmente ordenado y bien fundado decimos

que est bien ordenado. Notaci n: Habitualme nte escribiremos en vez de R para relaciones de orden, y
A, para

conju ntos ordenados tanto parcial como linealm ente.

Teoremas 1. 2. R ((R es un orden lineal) (R es un orden parcial )) Si

A, esta

linealmente ordenado y Y A entonces (a es

elemento minimal de Y si y slo si a es primer elemento de Y) 3.

A, est

bien ordenado (para cada Y A se cumple x(x Y

x es primer elemento de Y ))

4. Sea

A, un

conjunto parcialme nte ordenado.

A,

esta bien

fundado si slo si, no hay ninguna sucesin {an }n=0 de elementos de A tal que an+1 < an para cada n (no hay a0 > a1 > a2 >

...) 3.11 . Funciones, composicin Definiciones

x, y

Funcin. f es una funcin si y slo si f es una relacin y (xyz(((

x, z

f)(

f )) (y = z)))

Composicin: f g = g/f
x, y

Notacin : Si f es una funcin notaremo s f (x) = y para indicar f Teoremas 1. Af ( (f es una funcin A f ) ( A es una funcin )) 2. Af ( (f es una funcin ) (f A es una funcin))

3. fg ( (f es una funcin g es una funcin ) (f g es una funcin)) 4. fg ( (f es una funcin g es una funcin ) (f /g es una funcion)) 5. fg ( (f es funcin g es funcin Dom f Dom g = ) (f g es funcin)) 6. f ( (f es funcin z (z Rang f = y)) f 1 es una funcin) 7. fg ( (f es funcin g es funcin) (f g es funcin)) 8. fgx ((f es funcin g es funcin x Dom (f g)) ((f g)(x) = f (g(x))))
x, z

y, z

f x

3.12. Funciones de A en B Definiciones f es una funcin de A en B si y slo si f es una funcin y

Dom f = A y Rang f B Notacin : para indicar que f es una funcion de A en B escribiremos f: A B

x, y

f es una funcion inyectiva si y slo si f es una funcin y (xyz (

z, y

f x = z))

f : A B es exhaustiva si y slo si Rang f = A f : A B es biyectiva si y slo si f es inyectiva & exhaustiva

Notacin : AB denotar el conjunto de todas las funciones de B e