Author: Pedro Sánchez Terraf
-
Anti-Elección
El Axioma de Elección (AC, por sus siglas en inglés) dice que dada una familia $\calF$ de conjuntos no vacíos, puedo elegir un elemento de cada uno. Hay varias maneras equivalentes de formular esto más precisamente: Hay una función $f$ tal que $f(A)\in A$ para todo $A\in\calF$; (si los conjuntos de $\calF$ son disjuntos) Hay…
-
¿Por qué Teoría de Conjuntos?
(English version below.) ¿Por qué estudiar Teoría de Conjuntos? Porque es el fundamento actual de toda la matemática. Porque uno arranca con el trabajo de un medalla Fields. Porque es un área de investigación vigente. “Por el honor del espíritu humano”.
-
Problemas señeros (II)
Abstract. This is the second post dedicated to elementary problems with a set-theoretic solution. We discuss the impossibility of an infinite descending chain of sets $\{X_j\}_{j}$ such that $\P(X_{n+1})=X_n$. This is an exercise in Kunen . El logaritmo no se puede iterar infinitamente Muy fácil: números reales, operaciones usuales. Específicamente, operaciones que achican. Por ejemplo,…
-
Problemas señeros (I)
Abstract. In this series of posts I’ll discuss problems that can be posed in an elementary way but the only way to solve them (to the best of my knowledge) is to develop some set theory. This post is dedicated to a problem appearing in Fraenkel’s Set Theory , that states that you can change…
-
Publish NOW, or perish
Academic life has given me a lesson for the second time, and it was harsh this time. The first lesson had a happy ending, and it can be described by the following words: Beware of the paper bin! This happened on 2008. I was experimenting with a really wonderful software, the bundle Prover9-Mace4, by the…
-
How about a little absurdity?
Assume you want to prove a Theorem X. If you’re a fan of reductio ad absurdum (RAA), you start by saying “Assume that Theorem X is false. Hence…” and after some reasoning, you reach a contradiction. You write as a closing sentence, “This contradiction shows that Theorem X must be true.” I want to argue about…
-
Ordinales (III)
Abstract. This is the last post in the informal series on ordinals. We give von Neumann’s definition, and show how arithmetical operations can be defined on ordinals by using recursion. Finally we give a property of well ordered chains of subsets of ${\mathbb N}$ that is not shared by ordinary chains. Ordinales a la von…
-
Ordinales (II)
Abstract. This is the second post about ordinals. In the first one I discussed well-orders and some countable examples. Now we’ll get an eagle’s view on induction and recursion. Inducción y recursión en conjuntos bien ordenados. La principal utilidad de los conjuntos bien ordenados es que para ellos valen los principios de inducción y de…
-
Ordinales (I)
Abstract. This is the first post of a series concerning ordinals. I start by motivating their need by means of Cantor-Bendixson derivative, and then develop some of the basic concepts (induction, recursion, arithmetic). Comenzaré discutiendo una operación sobre los subconjuntos de un espacio topológico. Es en algún sentido dual a la clausura, porque en vez…
-
Los axiomas de la Teoría de Conjuntos
Abstract. Just introducing the ZFC axioms very briefly, with a slight hint of what first-order logic is. Se afirma que toda la Matemática se puede basar en la Teoría de Conjuntos. No voy a dedicar este post a justificar esta afirmación (quizá es un tema que se puede discutir en los comentarios a esta nota),…