Está en la página 1de 9

Leccion 4: Fundamentos matematicas contemporaneas 217

matematicas. De hecho, un grupo de importantes matematicos que operaban


bajo el seudonimo colectivo de Nicolas Bourbaki llevo a cabo, en 1936, la tarea
de mostrar que si se aceptan los axiomas de Zermelo-Fraenkel de la teora de
conjuntos (incluyendo algunas modificaciones posteriores de Paul Bernays y
Kurt Godel), y ciertos principios de la logica, entonces era posible construir
todas las matematicas que conocemos.
Por los anos 1930, existan cuatro aproximaciones diferentes a las matematicas
y todas ellas en conflicto. En aquel entonces ya no se poda decir que un teo-
rema matematico estaba correctamente probado sin especificar los estandares
bajo los cuales era cierto. Y los desarrollos del siglo XX han corroborado la vi-
sion de que siempre seran necesarias revisiones constantes de los fundamentos
de las matematicas6 .

a. Nocion de conjunto y definiciones basicas


En nuestra discusion, un conjunto sera una coleccion de objetos donde se puede
decir, mediante alguna caracterstica o regla bien especificada, de cualquier
objeto, si este pertenece o no a la coleccion.
Si un conjunto A consiste de los objetos a, b, c, ..., y no de otros, entonces
escribiremos, en notacion de Cantor (1895),

A = {a, b, c, ...}

Y si el conjunto A consiste de los objetos x que satisfacen cierta proposicion


(x) entonces escribiremos

A = {x | (x)}

o bien
A = {x : (x)}
Los objetos que conforman un cierto conjunto se llamaran (sus) elementos. El
hecho de que un objeto pertenezca a un conjunto A se escribira, en notacion
de Peano(1894) y Russell (1903), en la forma

aA

y se leera a pertenece a A o a es un elemento de A. Si un objeto m no


pertenece al conjunto A, se acostumbra escribir como

m
/A
6
Para aquel estudiante que desee profundizar mas en este tema, lo remitimos al buen
texto Munoz, Jose M. (2002), Introduccion a la Teora de Conjuntos, Universidad
Nacional de Colombia.
218 Matematicas basicas para economistas 0: Fundamentos

Definicion 2. (Igualdad entre conjuntos)


Sean A y B dos conjuntos; entonces
A = B si, y solo si, (x)(x A x B)

Definicion 3. (Conjunto vaco (Bourbaki (1939)))


Al conjunto determinado por la regla de no tener elementos, es decir, por la
regla (x)(x
/ ), lo llamaremos conjunto vaco.

Definicion 4. (Inclusion entre conjuntos (Schroder (1890)))


Sean A y B dos conjuntos; entonces,
A B si, y solo si, (x)(x A = x B)

B
A

Figura 6. Inclusion entre conjuntos

Teorema 1. (Propiedades de la inclusion7 )


Sean A , B, C tres conjuntos; entonces

i) A = B A B B A ii) A A

iii) A iv) A = A =

v) A B B C = A C

Demostracion

i) a) Supongamos A = B; entonces x A x B = x B ;
ademas x B x A = x A; luego A B B A.
b) De manera similar, si A B B A se tiene que x A = x B
y x B = x A; luego x A x B y esta es la definicion
de A = B.
7
Adelante el lector encontrara multiples demostraciones en las que debera observar
cuales de las tautologas estudiadas en la seccion anterior han sido aplicadas.
Leccion 4: Fundamentos matematicas contemporaneas 219

ii) x A = x A siempre es cierto.

iii) x = x A es cierto pues la proposicion x es falsa.

iv) Si A entonces, como por iii) tambien A, se tiene que A


A y, por i), A = .

v) Si A B B C se tiene que x A = x B y x B = x C;
luego x A = x C. !

b. Operaciones entre conjuntos


En lo que sigue, estudiaremos las cuatro operaciones basicas de la teora de
conjuntos: la interseccion, la union, la diferencia y el complemento.

Definicion 5. (Interseccion de conjuntos (Peano (1888)))


Sean A y B dos conjuntos; definimos el conjunto interseccion de A y B (notado
A B) as:
x A B si, y solo si, x A x B

A B

Figura 7. Interseccion de conjuntos

Teorema 2. (Propiedades de la interseccion)


Sean A ,B ,C conjuntos; entonces:

i) A B = B A.
Demostracion

x A B x A x B x B x A x B A. !
220 Matematicas basicas para economistas 0: Fundamentos

ii) (A B) C = A (B C).
Demostracion

x (AB)C x (AB)x C (x Ax B)x C


x A (x B x C) x A x (B C) x A (B C).
!

iii) A A = A.
Demostracion

x A x A x A x A A. !

iv) A = .
Demostracion

x A x A x x pues las dos ultimas proposi-


ciones son falsas ya que la proposicion x es falsa. !

v) A B A ; A B B.
Demostracion

i) x A B x A x B = x A.
ii) x A B x A x B = x B. !

vi) A B A B = A.
Demostracion

i) Supongamos A B; entonces:
x A B x A x B x A (Por que es cierto esto
ultimo?); luego A B = A.
ii) Supongamos A B = A; entonces:
x A x A B x A x B = x B. Luego A B.
!

Definicion 6. (Union de conjuntos (Peano (1888)))


Sean A y B dos conjuntos; definimos el conjunto union de A y B (notado
A B) as:
x A B si, y solo si, x A x B
Leccion 4: Fundamentos matematicas contemporaneas 221

AB

A B

Figura 8. Union de conjuntos

Teorema 3. (Propiedades de la union)

Sean A, B, C conjuntos. Entonces:

i) A B = B A.
Demostracion
x A B x A x B x B x A x B A. !
ii) (A B) C = A (B C).
Demostracion
x (A B) C x (A B) x C (x A x B) x
C x A (x B x C) x A (B C). !

iii) A A = A.
Demostracion
x A A x A x A x A. !
iv) A = A.
Demostracion
x A x A x x A puesto que la afirmacion x
es siempre falsa. !
v) A A B ; B A B.
Demostracion

i) Probemos primero A A B.
x A = x A x B x A B
222 Matematicas basicas para economistas 0: Fundamentos

ii) Ahora probemos B A B.


x B = x A x B x A B !

vi) A B A B = B.
Demostracion

i) Supongamos A B; entonces:
x A B x A x B x B. Luego A B = B
ii) Supongamos A B = B; entonces:
x A = x A B x B. Luego A B !

vii) A C B C A B C.
Demostracion

i) Supongamos A C B C. Entonces:
x A B x A x B = x C x C = x C.
ii) Supongamos A B C. Entonces:
x A = x A B = x C; y x B = x A B = x C.
!

Teorema 4. (Relaciones entre la interseccion y la union de conjun-


tos)

Sean A, B, C conjuntos; entonces:

i) (A B) C = (A C) (B C)
Demostracion
x (AB)C (x Ax B)(x C) (x Ax C)(x
B x C) x (A C) x (B C) x (A C) (B C). !

ii) (A B) C = (A C) (B C)
Demostracion
x (A B) C x (A B) x C (x A x B) x
C (x A x C) (x B x C) x (A C) x
(B C) x (A C) (B C). !

Definicion 7. (Diferencia de conjuntos)


Sean A y B dos conjuntos; definimos el conjunto diferencia de A y B (notado
A B o A \ B) as:
x (A B) si, y solo si, x A x
/B
UNIVERSIDAD NACIONAL DE COLOMBIA
FACULTAD DE CIENCIAS ECONOMICAS
ESCUELA DE ECONOMIA

Relaciones

Intuitivamente, una relacion expresa algun tipo de conexion entre dos objetos. Por ejem-
plo, podemos relacionar objetos por su color o peso, o relacionar personas conforme a vnculos
sanguneos. La nocion de relacion en matematicas pretende, en cierta medida, formalizar
y analizar detalladamente las conexiones entre objetos como las descritas anteriormente. Con
fines pedagogicos, mantendremos en mente el siguiente ejemplo:

Dado un grupo de 5 amigos: Juan, Ivan, Hugo, Ana y Nora. Suponga que a Juan y a Hugo
les atrae Nora, a Ivan le atrae Ana, a Ana le atrae Ivan y a Nora no le atrae nadie del grupo.
Considere la relacion le atrae, esto es x e y estan relacionados si a x le atrae y.

Observe que la relacion esta definida sobre los individuos del grupo descrito y utiliza parejas.
Por tanto, es util la nocion de producto cartesiano.

Definicion 1. Sean A y B dos conjuntos no vacos. El producto cartesiano de A y B, denotado


A B, es el conjunto de todos los pares ordenados (a, b) con a 2 A y b 2 B, es decir:

A B = {(a, b) : a 2 A y b 2 B}

Ejemplo 1. Supongamos que A = {a} y B = {1, 2}, entonces:

A A = {(a, a)}
A B = {(a, 1), (a, 2)}
B A = {(1, a), (2, a)}
B B = {(1, 1), (1, 2), (2, 1), (2, 2)}

Volviendo al ejemplo, sabiendo que a Juan le atrae Nora podramos utilizar una notacion
mas sugestiva mediante (Juan, Nora). Consecuentemente, podramos considerar la relacion le
atrae como un conjunto de parejas ordenadas de la siguiente forma:

A = {(Juan, Nora), (Hugo, Nora), (Ivan, Ana), (Ana, Ivan)}

De donde surge de forma natural, la siguiente definicion.

Definicion 2. Sea A un subconjunto no vaco. Una relacion R sobre A es un subconjunto del


producto cartesiano A A. Si la pareja (a, b) esta en R escribiremos (a, b) 2 R o aRb. De igual
forma, si la pareja (a, b) no esta en R escribiremos (a, b) 2
/ R o aRb

Por Nicolas Rodrguez, estudiante de Maestria en Ciencias Economicas y Matematicas de la Universidad
Nacional de Colombia.

1
Observe que la pareja ordenada (a, b) es distinta de la pareja ordenada (b, a), puesto que en
caso contrario si (Juan, Nora) es igual a (Nora, Juan), tendramos que Juan y Nora se atraen
mutuamente, lo cual no es cierto. Sin embargo, en algunos casos ese tipo de reciprocidad si se
tiene y se vuelve pertinente clasificar las relaciones. A continuacion definiremos algunos de los
tipos mas importantes.
Definicion 3. Sea A un conjunto no vaco y R una relacion sobre A.
1. Diremos que R es reflexiva si todo elemento de A esta relacionado consigo mismo.
2. Diremos que R es simetrica si xRy implica yRx.
3. Diremos que R es transitiva si xRy y yRz implica xRz.
4. Diremos que R es completa si para todo x, y 2 A, xRy o yRx.

La relacion le atrae (A) no es reflexiva pues JuanAJuan, no es simetrica pues JuanANora


pero NoraAJuan y tampoco es transitiva pues IvanAAna, AnaAIvan pero IvanAIvan. La
relacion A es completa?

Ejemplo 2. Diremos que los estudiantes de pregrado de la Universidad Nacional x e y estan


relacionados por R si x estudia el mismo programa academico que y. Supondremos que cada
estudiante se encuentra inscrito en un programa academico.

La relacion R es reflexiva, pues para todo estudiante x, x estudia el mismo programa que
el mismo, luego xRx. Tambien es transitiva y simetrica -muestre el porque-.
Ejemplo 3. La relacion mayor o igual que sobre los numero reales en una relacion reflexiva,
completa y transitiva, pero no simetrica. Por que no es simetrica?
Ejemplo 4. En la teora de la eleccion racional, se pretende analizar el proceso de eleccion por
parte de un individuo racional -adelante precisamos su significado-. En el marco de estudio se
considera un conjunto de opciones X dado exogenamente, sobre el cual debe elegir una opcion
dicho individuo basado en sus preferencias.

Se supone que el individuo, como ser racional, elije la mejor alternativa dentro de sus posibil-
idades -de aqu que la maximizacion sea tan importante en el estudio de las ciencias economicas-
y que sus preferencias pueden describirse mediante una relacion al menos tan bueno como,
denotada por . Luego, x y significa que el individuo considera que la opcion x es al menos
tan buena como la opcion y.

Para ilustrar, supongamos que el conjunto de alternativas es X = {a, b, c} y que:


1. = {(a, a), (a, b), (b, c), (c, a)}. As, tenemos que la opcion a es al menos tan bueno como
s misma -lo cual es natural-, la opcion a es al menos tan buena como la opcion b, la
opcion b es al menos tan buena como la opcion c y la opcion c es al menos tan buena
como la opcion a. Que elegira un individuo con estas preferencias?

No elegira la opcion a puesto que prefiere la opcion c, no elegira la opcion c puesto que
prefiere la opcion b y tampoco la opcion b ya que prefiere a. Por esta razon, es necesario
exigir algunas hipotesis de consistencia sobre la relacion . En este caso, para eliminar
estos ciclos es util la transitividad.

2
2. = {(a, a), (a, b), (c, b), (c, c)}. Que elegira un individuo con estas preferencias?

La opcion b es derrotada tanto por a como por c, por tanto no es elegida. Pero no es
cierto que a sea al menos tan bueno como c ni que c sea al menos tan buena como a,
consecuentemente no es posible decidir de forma racional. Para eliminar estas situaciones,
es util la completitud ya que permite comparar cualquier par de alternativas.

3. = {(a, a), (a, b), (a, c), (b, b), (b, c), (c, c)}. En este escenario, la opcion a es al menos tan
buena como todas las demas opciones. Consiguientemente, es la alternativa que elegira
un individuo racional.

En sntesis, decimos que un individuo es racional si elige la mejor opcion dentro del conjunto
de alternativas y tiene preferencias transitivas y completas.

Este ultimo ejemplo es uno de los mas relevantes en la construccion de la teora economica,
debido a que la teora del consumidor y la teora del productor son casos particulares de la
teora de eleccion racional. Finalmente, cabe senalar que existen otros tipos de relaciones y mas
aplicaciones en las ciencias economicas que seran estudiadas en otros cursos -no necesariamente
de forma explcita-.

También podría gustarte