Función indicatriz

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Gráfico de una función indicatríz que muestra a un subconjunto de los puntos de un cuadrado en \mathbb{R}^2 (en rojo), donde los puntos x\in A tienen coordenada z=1 (color ocre), mientras que los puntos x\notin A del cuadrado tienen coordenada z=0 (rojos).

En matemáticas, la función indicatriz o función característica de un subconjunto \ A \subseteq Xes una función definida en el conjunto \ X, y que indica la pertenencia, o no, de cada elemento de \ X al subconjunto \ A, al asignar el valor 1 a todos los elementos de \ A y el valor 0 a todos los elementos de \ X \setminus A (no incluidos en \ A).

Definición[editar]

La función indicatriz del subconjunto \ A del conjunto \ X es una función

\mathbf{1}_A : X \to \{ 0,1 \} \,

definida como

\mathbf{1}_A(x) =
\begin{cases} 
1 &\text{si } x \in A, \\
0 &\text{si } x \notin A.
\end{cases}

El corchete de Iverson permite una notación equivalente, [x \in A], que se puede usar en lugar de \mathbf{1}_A(x).

La función \mathbf{1}_A en ocasiones se expresa \chi_A\! o \mathbf{I}_A\! o incluso A\!. (La letra \chi\! se usa porque es la letra inicial de la palabra característica en griego.)

Propiedades básicas[editar]

La functión indicatriz o característica de un subconjunto A\! de un conjunto X\!, asocia elementos de X\! al conjunto \{0,1\}\!.

La correspondencia es sobreyectiva solo cuando A es un subconjunto propio de X\!. Si A \equiv X\!, entonces \mathbf{1}_{A} = 1. Por un argumento similar, si A \equiv \varnothing entonces \mathbf{1}_{A} = 0.

En lo siguiente, el punto representa multiplicación, 1·1 = 1, 1·0 = 0 etc. "+" y "−" representan suma y resta. "\cap " y "\cup" son intersección y unión respectivamente.

Si A\! y B\! son dos subconjuntos de X\!, entonces

\mathbf{1}_{A\cap B} = \min\{\mathbf{1}_A,\mathbf{1}_B\} = \mathbf{1}_A \cdot\mathbf{1}_B,\, (intersección de conjuntos)
\mathbf{1}_{A\cup B} = \max\{{\mathbf{1}_A,\mathbf{1}_B}\} = \mathbf{1}_A + \mathbf{1}_B - \mathbf{1}_A \cdot\mathbf{1}_B, (unión de conjuntos)
\mathbf{1}_{A\Delta B} = \max\{{\mathbf{1}_A,\mathbf{1}_B}\} = \mathbf{1}_A + \mathbf{1}_B - 2 \cdot \mathbf{1}_A \cdot\mathbf{1}_B, (diferencia simétrica de conjuntos)
\mathbf{1}_{A^\complement} = 1-\mathbf{1}_A. (complemento de un conjunto)

Pero si tomamos \{0,1\} como el anillo \mathbb Z_2 con sus operaciones de suma y producto habituales, entonces:

\mathbf{1}_{A\cap B} = \mathbf{1}_A \cdot\mathbf{1}_B,\, (intersección de conjuntos)
\mathbf{1}_{A\Delta B} = \mathbf{1}_A + \mathbf{1}_B,\, (diferencia simétrica de conjuntos)

mostrando que la función que asigna a cada subconjunto del conjunto potencia de X\! su función característica es un isomorfismo de anillos entre el conjunto potencia de X\! (con la intersección y la diferencia simétrica de conjuntos como producto y suma respectivamente) y el conjunto de las funciones de X\! en \mathbb Z_2 con la suma y producto de funciones definidas por las operaciones dentro del anillo \mathbb Z_2 punto a punto sobre todo X\!.


Continuando con el complemento de conjuntos, y generalizando: supongamos que A_1, \ldots, A_n es una colección de subconjuntos de X\!; si denotamos I_n = \{1,2,3,...,n\} como el conjunto de índices, entonces:

 \prod_{k \in I_n} ( 1 - \mathbf{1}_{A_k}(x)) , para todo x \in X.

es claramente un producto de 0s y 1s. Este producto vale 1 precisamente para los x \in X que no pertenecen a ninguno de los conjuntos A_k\! y 0 en caso contrario. Esto es,

 \prod_{k \in I_n} ( 1 - \mathbf{1}_{A_k}) = \mathbf{1}_{X - \bigcup_{k} A_k} = 1 - \mathbf{1}_{\bigcup_{k} A_k}.

Expandiendo el producto del lado izquierdo,

 \mathbf{1}_{\bigcup_{k} A_k}= 1 - \sum_{F \subseteq \{1, 2, \ldots, n\}} (-1)^{|F|} \mathbf{1}_{\bigcap_F A_k} = \sum_{\emptyset \neq F \subseteq \{1, 2, \ldots, n\}} (-1)^{|F|+1} \mathbf{1}_{\bigcap_F A_k}

donde |F|\! es la cardinalidad de F\!. Esta es una forma del principio de inclusión-exclusión.

Como sugiere el ejemplo anterior, la función indicatriz es un elemento útil para notación en combinatoria. La notación se usa en otras partes también, por ejemplo en teoría de la probabilidad: si X\! es un espacio de probabilidad con medida de probabilidad \mathbb{P} y A\! es un conjunto medible, entonces \mathbf{1}_A se convierte en una variable aleatoria cuyo valor esperado es igual a la probabilidad de A\!:

\operatorname{E}(\mathbf{1}_A)= \int_{X} \mathbf{1}_A(x)\,d\mathbb{P} = \int_{A} d\mathbb{P} = \operatorname{P}(A).\quad

Esta identidad se usa en una prueba simple de la desigualdad de Markov.

En muchos casos, como en teoría del orden, la inversa de la función indicatriz puede definirse.


Véase también[editar]