Clase Complementaria 1

Análisis Real para Economistas

Marı́a Medellı́n Santiago Neira

Uniandes

9 de junio de 2021
¡Bienvenidos al curso!

¿Quiénes somos?
I Me llamo Marı́a Medellı́n
Esguerra
I Soy economista y Magı́ster
en Economı́a de la
Universidad de los Andes
I Estoy estudiando un
doctorado en economı́a en
la Universidad de Brown
¡Bienvenidos al curso!
¿Quiénes somos?
I Me llamo Marı́a Medellı́n
Esguerra
I Soy economista y Magı́ster
en Economı́a de la
Universidad de los Andes
I Estoy estudiando un
doctorado en economı́a en
la Universidad de Brown
I Vivı́ mi primer año de
doctorado en pandemia
I Mi aporte: Conozco las
aplicaciones económicas
del contenido del curso
¡Bienvenidos al curso!

I Me llamo Santiago Neira

I Soy economista y 90 %
matemático de la
Universidad de los Andes
I Soy estudiante del PEG.
Trabajo en el CEDE, NYU
y en BID. Amo, vivo y
respiro Micro
I He sido profe
complementario de varias
materias de microeconomı́a
a nivel pregrado,
especialización y maestrı́a
I Mi aporte: Rigor
Consejos para este curso

I Si es su primera vez haciendo demostraciones, es mejor pecar

por exceso de detalles que por defecto.
I Si no es su primera vez viendo este material, pregúntenos
por lecturas/ejercicios extra. Les recomendamos de igual
medida realizar el exceso de detalles.
I Los conceptos entran con los ejercicios - inténtelos todos
individualmente antes de recurrir a ayuda externa.
I Si no sabe por donde empezar, tenga a la vista todas las
definiciones/teoremas que crea que puedan ser relevantes. Son
sus herramientas y el truco es ver dónde usarlas.
I Asegúrense de que sus tareas son ordenadas y legibles - no
solo para los complementarios, sino para su futura referencia.
Actividades, complementaria y reglas de juego

I Nos reuniremos todos los dı́as que haya magistrales + 2 dı́as

extra.
I Las tareas deberán ser entregadas dos dı́as después (en fechas
de clases) de ser publicadas por el profe Andrés. Nosotros les
enviaremos un link de dropbox al cual deberán entregar la
tarea a las 2p.m
I Manejaremos los materiales de clase en dropbox (pdf,
tableros, videos, etc). El link se los enviaremos por correo.
I Nuestros horarios serán todos los dı́as de la complementaria
de 7:00 a 7:30.
Alguna bibliografı́a útil

Si a ustedes les interesa aprender más sobre los temas, les

recomendamos alguna bibliografı́a de entrada:
I Matemática Estructural - Andrés Forero (Librerı́a Uniandes)
I Principles of Mathematical Analysis (Baby Rudin)- Walter
Rudin
I Economı́a Matemática - Diego Escobar Uribe
I Microeconomic Theory (tu papá)- Mas Collel, Whinston y
Green
I Real Analysis with Economic Applications - Efe Ok
Manos a la obra

Hoy completaremos algunos conceptos que vieron en clase

I Nociones importantes en matemáticas
I Lógica proposicional y cuantificadores
I Nociones fundamentales sobre conjuntos
I Tipos de demostración
I Funciones
Nociones en matemáticas
En este curso verán todo el tiempo algunas nociones que son
centrales :
1. Axiomas: Son verdades (y supuestos) per sé. Asumimos que
un axioma siempre es cierto, y sobre se construye la base de
todo.
2. Definiciones: Las definiciones son propiedades sobre objetos
matemáticos, o etiquetas para ellos cuando cumplen
condiciones (ej, un número es par si es divisible entre 2)
3. Teorema: Es una propiedad que es demostrada mediante un
proceso de reglas de inferencia a partir de definiciones y
axiomas.
4. Lema: Una mini prueba que ayuda a demostrar pedazos de un
teorema
5. Corolario: un resultado (casi) directo del teorema.
6. Demostración: Es el proceso de deducción lógica que
permite aseverar la verdad sobre de una propiedad.
Lógica proposicional y Cuantificadores

I Tenemos que partir en el curso sobre las proposiciones simples

(nuestros primitivos lógicos) que son afirmaciones que son V o
F. (La tierra es redonda, π es un número racional, etc)
I Las matemáticas se encargan de demostrar condiciones de
verdad o falsedad sobre afirmaciones (Teoremas) con base en
la existencia de axiomas iniciales.
I Una vez que tenemos las proposiciones simples, podemos
conocer el valor de verdad de proposiciones compuestas.
I Estas parten de dos proposiciones simples y conectores lógicos
I ¬, ∧, ∨, ⇒, ↔
Tablas de verdad
Sean p y q proposiciones:
I Negación I Implicación
p ¬p p q p⇒q
T F T T T
F T T F F
I Conjunción F T T
p q p∧q F F T
T T T I Equivalencia
T F F p q p⇔q
F T F T T T
F F F T F F
I Disyunción F T F
p q p∨q F F T
T T T
T F T
F T T
F F F
Proposiciones condicionales- Cuantificadores

I Cuando queremos dotar de verdad a algún conjunto de

elementos o proposiciones tenemos que usar los
cuantificadores:
I Universal: ∀x|p(x) (todos los números naturales son positivos)

∀x ∈ N : x > 0
I Existencial: ∃x|p(x) (Hay un natural que es múltiplo de
1234789)
I Existencial único. ∃!x|p(x)
I La negación de cuantificadores se hace cambiando el
cuantificador y negando la propiedad:

¬(∀x|p(x)) = ∃x|¬p(x)
¬(∃x|p(x)) = ∀x|¬p(x)
Teorı́a Básica de Conjuntos

Veamos ahora algunas nociones de conjuntos (inducidas de la

lógica proposicional).
Definition
Un Conjunto es una colección de objetos(elementos) bien definida:
I No tiene orden
I No hay elementos repetidos
I Sabemos qué está en él y qué no

Se denotan entre corchetes A = {1, 2, 3} B = {+, %}

C = {1, {2, 3}} ∅, = {} El conjunto puede ser presentado de
forma:
I Extensional: N = {1, 2, 3, 4, · · · }
n o
I Intencional: Q :≡ x | ∃p ∈ Z, q ∈ N, q 6= 0 y x = qp
Sobre la pertenencia y contenencia

I Decimos que c ∈ X o “c pertenece c X”si c es un elemento

del conjunto X.
I Para A y B conjuntos, decimos que A ⊆ B o “A
está contenido en B”sı́ ∀x : x ∈ A ⇒ x ∈ B
I Noten que la pertenencia ∈ es una noción elemento a
conjunto, mientras que la contenencia es una noción
conjunto a conjunto
I Sean W = {1, 2, 3} , X = {1, 2, {1, 2, 3}} , Y = {1, 2} , Z =
{{1, 2}}
I Notemos que 2 ∈ W , {1, 2} ⊆ W , {1, 2} ⊆ Y ,
{1, 2} ∈ Z , 3 6∈ X
Operaciones entre conjuntos
I Intersección A ∩ B ≡ {x ∈ U | x ∈ A ∧ x ∈ B} .

A B

I Unión A ∪ B ≡ {x ∈ U| | x ∈ A ∨ x ∈ B} .

A B
Operaciones entre conjuntos
I Complemento AC ≡ {x ∈ U | x ∈
/ A}

A B

I Diferencia A \ B ≡ {x ∈ U | x ∈ A ∧ x 6∈ B} . Unión

A B
Demostraciones

I Para esta tarea, ustedes deberán mostrar algunas propiedades

sobre conjuntos. (Contenencias e igualdades entre conjuntos).
I Noten que, probar A ⊆ B es una variación de probar una
implicación. Esta puede demostrarse como:
I Por fuerza bruta: Empiece con un elemento arbitrario en A y
deduzca que debe estar en B
I Por contradicción (como el 90 % de pruebas en mate): Asuma
que hay un elemento que no está en B, suponga que está en A
y llegue a un absurdo.
I Probar A = B es lo mismo que probar A ⊆ B y B ⊆ A
Algunos ejemplos

veamos las siguientes demostraciones

I (AC )C = A

I Si A ⊆ B. entonces B C ⊆ AC