logo

Andrey Kolmogórov

Contenido de esta página:

  1. Breve biografía de Andrey Kolmogórov

  2. Axiomas de Kolmogórov

  3. Espacios topológicos T0 o de Kolmogórov


1. Andrey Kolmogórov (1903-1987)

Andrey Nikolaevich Kolmogorov (1903-1987) fue un matemático y físico ruso con numerosas e importantes aportaciones en dichas ciencias. En 1920, ingresó en la Universidad Estatal de Moscú y en el Instituto Tecnológico de Química Mendeleev de Rusia. En este período demostró varios resultado de la teoría de conjuntos y de las series de Fourier. En 1939 fue nombrado miembro de la Academia de Ciencias de Rusia. También fue académico de la Royal Society, de la Real Academia de Artes y Ciencias de los Países Bajos y de la Academia de Ciencias de Francia.

Se le atribuye la cita [traducida al español]:

Todo matemático cree que está por encima de los otros. La razón por la que no lo anuncian en público es porque son inteligentes.

Algunos conceptos o resultados que llevan su nombre en su honor son:

  • Ecuación de Fischer-Kolmogórov

  • Axiomas de Kolmogórov

  • Teorema de continuidad de Kolmogórov

  • Teorema de Fréchet-Kolmogórov

  • Teorema de superposición de Kolmogórov

  • Espacio de Kolmogórov

  • Paradoja de Borel-Kolmogórov

Ver Referencias



2. Axiomas de Kolmogórov

Sean

  • Ω el conjunto (finito) de sucesos elementales,

  • Σ un conjunto de subconjuntos de Ω cuyos elementos son los sucesos aleatorios (Σ contiene a ∅)

  • y P la una función probabilidad.

La función de probabilidad P suele definirse de forma que se satisfaga el siguiente sistema de axiomas establecidos por Kolmogórov:

Primer axioma

La probabilidad de cualquier suceso aleatorio E de Σ es un real finito no negativo:

$$ P(E) \in [0,+\infty), \forall E\in \Sigma $$


Segundo axioma

La probabilidad de que ocurra alguno de los sucesos elementales es 1:

$$ P(\Omega ) = 1 $$


Tercer axioma

La probabilidad de la unión de sucesos disjuntos es la suma de sus respectivas probabilidades:

$$ P(A \cup B ) = P(A)+P(B),$$

$$ \forall A,B \in \Sigma $$


Ejemplo:

Considérese el lanzamiento de un dado. Entonces:

El espacio muestral es

$$ \Omega = \{ 1, 2, 3, 4, 5, 6 \} $$

Definimos Σ como

$$ \Sigma =\{ E_1, E_2, E_3, E_4 \} $$

siendo E1 el suceso "número impar", E2 el suceso "número par", E3 el suceso "3", E4 el suceso "distinto de 3" y E5 el suceso "par o 3", esto es,

$$ E_1 = \{1, 3, 5 \} $$

$$ E_2 = \{ 2, 4, 6\} $$

$$ E_3 = \{ 3\} $$

$$ E_4 = \{ 1,2,4,5,6 \} $$

$$ E_5 = E_2 \cup E_3 $$

La probabilidad de obtener 1, 2, 3, 4, 5 ó 6 es 1:

$$ P(\Omega) = 1 $$

La probabilidad de obtener un número en concreto, n, es 1/6:

$$ P(n) = \frac{1}{6}, \forall 1\leq n\leq 6 $$

Las probabilidades de los sucesos de Σ son:

$$ P(E_1) = \frac{1}{2} $$

$$ P(E_2) = \frac{1}{2}$$

$$ P(E_3) = \frac{1}{6}$$

$$ P(E_4) = \frac{5}{6}$$

$$ P(E_5) = \frac{2}{3}$$

Nota: tal y como se ha definido, Σ es una σ-álgebra.


3. Espacios de Kolmogórov

Definición 1:

Un espacio topológico \( (X,\mathcal{T}) \) es de Kolmogórov o T0 si para cada par de puntos distintos \( x \) e \( y \) de \( X \) existe al menos un entorno de alguno de estos puntos que no contiene al otro punto:

$$ x\neq y \rightarrow $$

$$ \exists U_x\in \mathcal{E}(x), y\not\in U_x $$

o bien,

$$ \exists U_y\in \mathcal{E}(y), x\not\in U_y $$


Ejemplo 1

El espacio topológico discreto \( (X,\mathcal{T}_d)\) es de Kolmogórov:

Cualquier punto del espacio es un abierto y, por tanto, un entorno de sí mismo. Luego dados dos puntos distintos \( x \) e \( y \), el punto \( y \) no pertenece al entorno \( U_x = \{ x \} \) de \( x \).


Ejemplo 2

El espacio topológico trivial con más de un punto \( (X,\mathcal{T}_T) \) no es de Kolmogórov:

Para todo \( x \) de \( X \), el único abierto al que \( x \) pertenece es \( X \) y, por tanto, \( X\) es también el único entorno de \( x \). Luego dados dos puntos distintos \( x \) e \( y \), \( X\) es el único entorno de \( x \) e \( y \) pertenece a este entorno. Análogamente, \(x\) pertenece al único entorno de \( y\).


Ejemplo 3

El espacio topológico producto del espacio de los reales con la topología usual y del espacio de los reales con la topología trivial:

$$ (\mathbb{R}\times \mathbb{R}, \mathcal{T}_u\times \mathcal{T}_T) $$

no es un espacio de Kolmogórov:

Sean \( x \), \( y \) y z tres números reales. Entonces, los puntos

$$ a=(x, y),b=(x,z) $$

son distintos.

Sin embargo, no existe ningún entorno de \(a\) que no contenga a \( b \) ni viceversa. Esto se debe a que los abiertos (más simples) no triviales de esta topología son bandas (con lados paralelos al eje OY) de altura infinita y los puntos \(a\) y \( b \) se encuentran en la misma recta vertical:

Biografía del matemático Andrey Kolmogórov (1903-1987), los axiomas de Kolmogórov (probabilidad) y los espacios topológicos de Kolmogórov T0 (definición, ejemplos y propiedades)

El abierto representado es

$$ A = (2,5)\times \mathbb{R} \in \mathcal{T}_u \times \mathcal{T}_T $$

El abierto puede ser más estrecho, pero siempre contendrá a la recta que une a ambos puntos.




Teorema 1

Todo espacio topológico de Hausdorff es de Kolmogórov.

Demostración:

Sean \( x \) e \( y \) dos puntos distintos de un espacio de Hausdorff con la topología \( \mathcal{T}\). Por definición, existen dos abiertos \( A\) y \( B\) tales que

$$ x\in A, y\in B, A\cap B = \emptyset $$

Teniendo en cuenta que \(y\not\in A\), \(x\not\in B\) y que los abiertos \(A\) y \(B\) son, respectivamente, entornos de \(x\) e \(y\), se concluye que el espacio es de Kolmogórov.

Nota: de esta misma demostración se desprende que el espacio es de Fréchet o T1.




acceso al foro

Creative Commons License
Matesfacil.com by J. Llopis is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Andrey Nikolaevich Kolmogorov - (c) - matesfacil.com