Semialgebra, Álgebra, σ-Álgebra y σ-Álgebra de
Borel
Para entender las nociones de semialgebra, álgebra, σ-álgebra y σ-álgebra
de Borel, es útil ver ejemplos concretos. Estas estructuras son fundamentales
en teorı́a de la medida y probabilidad, ya que proporcionan las bases para definir
conjuntos medibles.
1. Semialgebra
Una semialgebra es una colección de subconjuntos de un conjunto X que
satisface las siguientes propiedades:
1. Contiene el conjunto vacı́o (∅).
2. Es cerrada bajo intersecciones finitas.
3. El complemento de cualquier conjunto en la semialgebra puede escribirse
como una unión finita disjunta de elementos de la semialgebra.
Ejemplo:
Sea X = [0, 1] (el intervalo unitario) y consideremos la colección:
S = {∅, [0, 1], [0, a), (b, 1], [a, b) : 0 ≤ a < b ≤ 1}.
• Propiedad 1: S contiene ∅.
• Propiedad 2: La intersección de dos intervalos en S también está en S.
Por ejemplo:
(
∅, si a ≤ b,
[0, a) ∩ [b, c) =
[b, min(a, c)), si a > b.
• Propiedad 3: El complemento de cualquier conjunto en S puede expre-
sarse como una unión finita disjunta de conjuntos en S. Por ejemplo:
[0, a)c = [a, 1] = (a, 1] ∪ {a},
donde (a, 1] ∈ S y {a} ∈ S.
Por lo tanto, S es una semialgebra.
1
2. Álgebra
Un álgebra es una colección de subconjuntos de un conjunto X que satisface
las siguientes propiedades:
1. Contiene el conjunto vacı́o (∅).
2. Es cerrada bajo complementos.
3. Es cerrada bajo uniones finitas.
Ejemplo:
Sea X = {1, 2, 3} y consideremos la colección:
A = {∅, {1}, {2, 3}, {1, 2, 3}}.
• Propiedad 1: A contiene ∅.
• Propiedad 2: El complemento de cualquier conjunto en A también está
en A. Por ejemplo:
{1}c = {2, 3} ∈ A, {2, 3}c = {1} ∈ A.
• Propiedad 3: La unión finita de conjuntos en A también está en A. Por
ejemplo:
{1} ∪ {2, 3} = {1, 2, 3} ∈ A.
Por lo tanto, A es un álgebra.
3. σ-Álgebra
Una σ-álgebra es una colección de subconjuntos de un conjunto X que satisface
las siguientes propiedades:
1. Contiene el conjunto vacı́o (∅).
2. Es cerrada bajo complementos.
3. Es cerrada bajo uniones numerables.
Ejemplo:
Sea X = R (la recta real) y consideremos la colección de todos los subconjuntos
de R que son medibles según Lebesgue:
F = {todos los subconjuntos medibles de R}.
• Propiedad 1: F contiene ∅.
2
• Propiedad 2: El complemento de cualquier conjunto medible también es
medible.
• Propiedad 3: La unión numerable de conjuntos medibles también es
medible.
Por lo tanto, F es una σ-álgebra.
Otro ejemplo común es la σ-álgebra generada por una colección de conjuntos.
Por ejemplo, si partimos de la colección de intervalos abiertos en R, la σ-álgebra
generada es la σ-álgebra de Borel (que discutimos a continuación).
4. σ-Álgebra de Borel
La σ-álgebra de Borel es la σ-álgebra generada por los conjuntos abiertos de
un espacio topológico. En R, la σ-álgebra de Borel se define como la σ-álgebra
generada por los intervalos abiertos.
Ejemplo:
En R, la σ-álgebra de Borel (B(R)) es la colección más pequeña de subconjuntos
de R que contiene a todos los intervalos abiertos y es cerrada bajo complementos
y uniones numerables.
Algunos elementos de B(R) incluyen:
• Intervalos abiertos: (a, b),
• Intervalos cerrados: [a, b],
• Intervalos semiabiertos: [a, b) o (a, b],
• Conjuntos numerables, como Q (los números racionales),
• Conjuntos formados por uniones e intersecciones numerables de estos.
Propiedades:
• La σ-álgebra de Borel es la base para la medida de Lebesgue en R.
• Incluye todos los conjuntos que son ”razonablemente construibles” usando
operaciones básicas de conjuntos (uniones, intersecciones, complementos).
Resumen de Ejemplos
Estructura Ejemplo
Semialgebra S = {∅, [0, 1], [0, a), (b, 1], [a, b)}
Álgebra A = {∅, {1}, {2, 3}, {1, 2, 3}}
σ-Álgebra F = {todos los subconjuntos medibles de R}
σ-Álgebra de Borel B(R) = σ(intervalos abiertos en R)
3
Relación entre las estructuras
1. Toda σ-álgebra es un álgebra, pero no toda álgebra es una σ-álgebra.
2. Toda álgebra es una semialgebra, pero no toda semialgebra es un
álgebra.
3. La σ-álgebra de Borel es un ejemplo especı́fico de σ-álgebra que surge
naturalmente en espacios topológicos.
Las σ-álgebras son las estructuras más generales y completas para trabajar en teorı́a de la medida.
Relación entre ellas
Semialgebra ⊊ Álgebra ⊊ σ-Álgebra ⊊ P(X).
• Toda semialgebra genera un álgebra (cerrando bajo uniones finitas).
• Toda álgebra genera una σ-álgebra (cerrando bajo uniones numerables).
• La σ-álgebra de Borel es un caso particular de σ-álgebra (generada por la
topologı́a).
Ejemplo visual:
En R:
1. Semialgebra: Intervalos [a, b).
2. Álgebra: Uniones finitas de intervalos disjuntos.
3. σ-Álgebra de Borel: Incluye Q, conjuntos de Cantor, etc.
Estas estructuras son fundamentales en teorı́a de la medida, probabilidad y
análisis funcional.