Convergencia uniforme y continuidad

Por Lizbeth Fernández Villegas

Deja un comentario

Introducción

El propósito de esta entrada será conocer criterios para determinar cuándo el límite de una sucesión de funciones es una función continua. (El concepto de función continua se vio en la entrada Funciones continuas en espacios métricos).

Nuestra intuición podría proponer que esto ocurre cuando todas las funciones de la sucesión son también continuas. No obstante, esto no basta cuando el límite de convergencia es puntual. Como ejemplo tomemos la sucesión de funciones continuas dada por:

$(x^n)_{n \in \mathbb{N}}$ donde para cada $n \in \mathbb{N}, \, x^n:[0,1] \to \mathbb{R}$

Queda como ejercicio al lector demostrar que $(x^n)_{n \in \mathbb{N}}$ converge puntualmente a la función:

\begin{equation*}
f(x) = \begin{cases}
0 & \text{si $0 \leq x < 1$} \\
1 & \text{si $x = 1$}
\end{cases}
\end{equation*}

Pero $f$ no es una función continua en $[0,1].$

¿Qué ocurre en los casos donde el límite es uniforme? A continuación mostraremos que bajo esa situación, la función a la que la sucesión converge sí es continua. Pero antes hagamos una aclaración sobre la notación a usar:

En la entrada anterior (Convergencia puntual y convergencia uniforme) las funciones suelen definirse como funciones de $A$ en $X$ $(f:A \to X),$ donde $A$ se considera como un conjunto cualquiera (que no necesariamente es un espacio métrico y por tanto la distancia de los puntos en el dominio no es relevante), y $X$ es un espacio métrico con distancia indicada como $d$.

Ahora pasamos a tratar con funciones continuas, donde sí comparamos distancias entre puntos del dominio (la famosa distancia menor que $\delta$) y distancias en puntos del contradominio (la famosa distancia menor que $\varepsilon$). Así, las funciones de esta entrada están definidas entre dos espacios métricos $(X,d_X)$ y $(Y,d_Y).$ Nota la importancia de señalar si la distancia a considerar es en $X$ o en $Y.$

Proposición: Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos. Si $(f_n)_{n \in \mathbb{N}}$ con $f_n: X \to Y, \, n \in \mathbb{N} \, $ es una sucesión de funciones continuas que converge uniformemente a $f:X \to Y$ en $X$ entonces $f$ es continua.

Demostración:
Sea $\varepsilon > 0$ y $x_0 \in X.$ Buscamos probar que $f$ es continua en $x_0.$ Como $(f_n)_{n \in \mathbb{N}}$ converge uniformemente en $f$ entonces existe $N \in \mathbb{N}$ tal que para todo $k \geq N$ y para todo $x \in X, \, d_Y(f_k(x),f(x)) < \frac{\varepsilon}{3}.$

Por otro lado, como $f_N$ es continua, existe $\delta > 0$ tal que si $d_X(x,x_0)< \delta$ entonces $d_Y(f_N(x),f_N(x_0)) < \frac{\varepsilon}{3}.$

En consecuencia, si $d_X(x,x_0)< \delta$ se sigue que

\begin{align*}
d_Y(f(x),f(x_0)) & \leq d_Y(f(x),f_N(x)) + d_Y(f_N(x),f_N(x_0)) + d_Y(f_N(x_0),f(x_0)) \\
& < \frac{\varepsilon}{3} + \frac{\varepsilon}{3} + \frac{\varepsilon}{3} \\
& = \varepsilon
\end{align*}

Lo cual demuestra que el límite uniforme de una sucesión de funciones continuas, es una función continua.

Es importante notar que esto no significa que toda sucesión de funciones continuas que converge en una función continua, lo hace de manera uniforme. Puede hacerlo solo de forma puntual. Veamos un ejemplo.

La sucesión de funciones continuas $(f_n)_{n \in \mathbb{N}}$ donde para cada $n \in \mathbb{N}, \, f_n:[0,1] \to \mathbb{R}$ se define como $f_n(x)= n^2x(1-x)^n,$ converge de forma puntual a la función $f(x)=0.$ Queda como ejercicio probar que la convergencia solo es puntual y no uniforme.

Ahora pensemos en funciones continuas y acotadas a través de la siguiente definición. (El concepto de función acotada se vio en Espacios de funciones).

Definición. El espacio métrico $\mathcal{C}_b^0(X,Y)$: Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos. El espacio de funciones continuas y acotadas de $X$ a $Y$ se define como:
$\mathcal{C}_b^0(X,Y):= \{f:X \to Y: f \text{ es continua y acotada } \}$
Y la métrica está dada por:
$$d_\infty(f,g)= \underset {x \in X}{sup} \, \, d_Y(f(x),g(x))$$

Donde $f,g \in \mathcal{C}_b^0(X,Y).$

Este espacio es cerrado en el espacio de funciones acotadas, de acuerdo con la siguiente:

Proposición: Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos. Entonces $\mathcal{C}_b ^0(X,Y)$ es un subespacio cerrado de $\mathcal{B}(X,Y).$ (El espacio de funciones acotadas).

Demostración:
Buscamos probar que $\mathcal{C}_b ^0(X,Y)$ es igual a su cerradura. Sea $f \in \overline{\mathcal{C}_b ^0(X,Y)}.$ En la última proposición de la entrada Convergencia vimos que esto significa que existe una sucesión de funciones $(f_n)_{n \in \mathbb{N}}$ en $\mathcal{C}_b ^0(X,Y)$ que convergen a $f$ en $\mathcal{B}(X,Y).$ En la entrada anterior vimos que esto implica que $f$ es límite uniforme de $(f_n)_{n \in \mathbb{N}}. \, $ La proposición anterior nos permite concluir que $f$ es continua, es decir $f \in \mathcal{C}_b ^0(X,Y),$ probando así que $\mathcal{C}_b ^0(X,Y)$ es cerrado en $\mathcal{B}(X,Y).$

Ahora veamos la siguiente:

Proposición: Sea $Y$ un espacio métrico completo. Se cumple que:

  1. Si $A$ es un conjunto entonces $\mathcal{B}(A,Y)$ es completo.
  2. Si $X$ un espacio métrico entonces $\mathcal{C}^0_b(X,Y)$ es completo.
El conjunto $\mathcal{B}(A,Y)$ es completo
El conjunto $\mathcal{C}^0_b(X,Y)$ es completo.

Demostración:
Para probar que $\mathcal{B}(A,Y)$ es completo toma $(f_n)_{n \in \mathbb{N}}$ una sucesión de Cauchy en $\mathcal{B}(A,Y).$ Veamos que es convergente.
Sea $\varepsilon >0.$ Por definición, existe $N \in \mathbb{N}$ tal que $\forall \, l,m \geq N, \, d_\infty(f_l,f_m) < \varepsilon.$ Así, para cada $a \in A$ se cumple que $d_Y(f_l(a),f_m(a)) \leq d_\infty(f_l,f_m) < \varepsilon$ de modo que $(f_n)_{n \in \mathbb{N}}$ es uniformemente de Cauchy. De acuerdo con el Criterio de convergencia uniforme de Cauchy visto en la entrada anterior esto significa que $(f_n)_{n \in \mathbb{N}}$ converge uniformemente en $A$ y por tanto converge en el espacio métrico de funciones $\mathcal{B}(A,Y).$

Para probar que $\mathcal{C}^0_b(X,Y)$ es completo partimos de la proposición anterior donde concluimos que es subespacio cerrado de $\mathcal{B}(A,Y)$ que ya sabemos es completo. A partir de una proposición vista en Espacios métricos completos se sigue que $\mathcal{C}^0_b(X,Y)$ es completo.

Si $Y$ es un espacio de Banach entonces está provisto de una norma $\norm{\cdot}$ que induce una métrica bajo la cual $Y$ es completo.

Al final se te pedirá probar que el conjunto $\mathcal{B}(A,Y)$ es un espacio vectorial normado con
$\norm{f}_\infty = \underset {a \in A}{sup} \, \norm{f(a)}$

En esta situación, las proposiciones se plantean de la siguiente manera:

  1. Si $A$ es un conjunto entonces $\mathcal{B}(A,Y)$ es de Banach.
  2. Si $X$ un espacio métrico entonces $\mathcal{C}^0_b(X,Y)$ es de Banach.

Unos resultados que requieren el concepto de compacidad

En entradas posteriores hablaremos del concepto de espacios métricos compactos. En la sección Funciones en espacios topológicos compactos verás que toda función continua en un compacto es acotada. Ese resultado en suma con la proposición anterior, permite concluir que si $A$ es compacto y $X$ es completo entonces $\mathcal{C}^0(A,X)=\{\phi:A \to X :\phi \text{ es continua } \}$ es un espacio completo.

Ahora presentamos condiciones que aseguran la convergencia uniforme de una sucesión de funciones continuas en un espacio compacto a partir de la monotonía. Es decir:

Proposición: Sea $A$ un espacio métrico compacto, $(f_n)_{n \in \mathbb{N}}$ una sucesión de funciones continuas con $f_n:A \to \mathbb{R}, n \in \mathbb{N}$ tal que $(f_n)$ converge puntualmente a una función continua $f$. Si para cada $x \in A$ y $n \in \mathbb{N} \, f_n(x) \geq f_{n+1}(x),$ entonces $(f_n)$ converge a $f$ uniformemente en $A.$

Demostración:
Podrá consultarse en la entrada Compacidad en espacios métricos.

Más adelante…

Continuaremos analizando resultados de convergencia uniforme, ahora en funciones diferenciables. ¿Será diferenciable también la función límite? ¿Será convergente también la sucesión de derivadas? ¿Coincide el límite de derivadas con la derivada de la función límite?

Tarea moral

  1. Demuestra que $(x^n)_{n \in \mathbb{N}}$ con $x^n:[0,1] \to \mathbb{R}$ converge puntualmente a la función:
    \begin{equation*}
    f(x) = \begin{cases}
    0 & \text{si $0 \leq x < 1$} \\
    1 & \text{si $x = 1$}
    \end{cases}
    \end{equation*}
    Pero $f$ no es una función continua en $[0,1].$
  2. Demuestra que la sucesión de funciones continuas $(f_n)_{n \in \mathbb{N}}$ donde para cada $n \in \mathbb{N}, \, f_n:[0,1] \to \mathbb{R}$ se define como $f_n(x)= n^2x(1-x)^n,$ converge de forma puntual a la función $f(x)=0$ pero el límite no es uniforme.
  3. Sea $A$ un conjunto, y $(Y, \norm{\cdot})$ un espacio normado. Prueba que $\mathcal{B}(A,Y)$ es un espacio vectorial con las operaciones
    $(f+g)(x):= f(x) + g(x)$
    $(\lambda f)(x):= \lambda f(x)$
    Y que $\norm{f}_\infty = \underset {a \in A}{sup} \, \norm{f(a)}$
    es una norma en $\mathcal{B}(A,Y).$

Enlaces:

El Teorea de la Función Implícita (parte 3)

Por Angélica Amellali Mercado Aguilar

Deja un comentario

Introducción

Teorema de la Función Implícita (sistemas de ecuaciones

Teorema 1. Considere las funciones $z_{1}=F(x,y,u,v)$ y $z_{2}=G(x,y,u,v)$. Sea $P=(x,y,u,v) \in \mathbb{R}^{4}$ un punto tal que $F(P)=G(P)=0$. Suponga que en una bola $\textit{B} \in \mathbb{R}^{4}$ de centro $P$ las funciones $F$ y $G$ tienen (sus cuatro) derivadas parciales continuas. Si el Jacobiano $\displaystyle \frac{\partial
(F,G)}{\partial (u,v)}(P)\neq0$ entonces las expresiones $F(x,y,u,v)=0$ y $G(x,y,u,v)=0$ definen funciones (implícitas) $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ definidas en una vecindad $v$ de $(x,y)$ las cuales tienen derivadas parciales continuas en $v$

Dadas las funciones $F$ y $G$ de las variables $u,v,x,y$ nos preguntamos cuando de las expresiones

$F(x,y,u,v)=0$
$G(x,y,u,v)=0$

podemos despejar a $u$ y $v$ en términos de $x$ y $y$ en caso de ser posible diremos que las funciones $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ son funciones implícitas dadas. Se espera que $\exists’$n funciones $u=\varphi_{1}(x,y)$ y
$v=\varphi_{2}(x,y)$ en

$F(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$
$G(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$

con $(x,y)$ en alguna vecindad $V$

Suponiendo que existen $\varphi_{1}$ y $\varphi_{2}$ veamos sus derivadas

$\displaystyle \frac{\partial F}{\partial x}\displaystyle \frac{\partial x}{\partial x}+\displaystyle \frac{\partial F}{\partial y}\displaystyle \frac{\partial y}{\partial x}+\displaystyle \frac{\partial F}{\partial u}\displaystyle \frac{\partial u}{\partial
x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial x}=0$ $~~$ $\Rightarrow$ $~~$ $\displaystyle \frac{\partial F}{\partial u}\displaystyle
\frac{\partial u}{\partial x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial x}=-\displaystyle \frac{\partial F}{\partial x}$

$\displaystyle \frac{\partial G}{\partial x}\displaystyle \frac{\partial x}{\partial x}+\displaystyle \frac{\partial G}{\partial y}\displaystyle \frac{\partial y}{\partial
x}+\displaystyle \frac{\partial G}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial G}{\partial v}\displaystyle \frac{\partial v}{\partial x}=0$ $~~$ $\Rightarrow$ $~~$ $\displaystyle \frac{\partial G}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial G}{\partial v}\displaystyle \frac{\partial v}{\partial x}=-\displaystyle \frac{\partial G}{\partial x}$

Lo anterior se puede ver como un sistema de 2 ecuaciones con 2 incógnitas $\displaystyle \frac{\partial u}{\partial x}$ y $\displaystyle \frac{\partial v}{\partial x}$. Aquí se ve que para que el sistema tenga solución.

$det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|\neq0$ en $(P)$ (el $det$ Jacobiano) y según la regla de Cramer

$\displaystyle \frac{\partial u}{\partial x}=\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
x}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial x}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{\det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}=-\frac{\frac{\partial (F,G)}{\partial(x,v)}}{\frac{\partial(F,G)}{\partial(u,v)}}$, $\displaystyle \frac{\partial
v}{\partial x}=\frac{\det \left|\begin{array}{cc} \displaystyle
\frac{\partial F}{\partial u}&\displaystyle -\frac{\partial
F}{\partial x}
\\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial
x}\end{array}\right|}{det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}=-\frac{\frac{\partial (F,G)}{\partial(u,x)}}{\frac{\partial(F,G)}{\partial(u,v)}}$.

Análogamente si derivamos con respecto a $y$ obtenemos

$\displaystyle \frac{\partial F}{\partial u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial y}=\displaystyle \frac{\partial F}{\partial y}$

$\displaystyle \frac{\partial G}{\partial
u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle
\frac{\partial G}{\partial v}\displaystyle \frac{\partial
v}{\partial y}=\displaystyle \frac{\partial G}{\partial y}$

de donde

$\displaystyle \frac{\partial u}{\partial y}=-\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
y}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial y}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}=-\frac{\frac{\partial (F,G)}{\partial(y,v)}}{\frac{\partial(F,G)}{\partial(u,v)}}$, $\displaystyle \frac{\partial
v}{\partial y}=-\frac{\det \left|\begin{array}{cc} \displaystyle
\frac{\partial F}{\partial u}&\displaystyle -\frac{\partial
F}{\partial y}
\\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial
y}\end{array}\right|}{det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}=-\frac{\frac{\partial (F,G)}{\partial(u,y)}}{\frac{\partial(F,G)}{\partial(u,v)}}$.

Al determinante $det \left|\begin{array}{cc} \displaystyle
\frac{\partial F}{\partial u}&\displaystyle \frac{\partial
F}{\partial v}
\\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|$ lo llamamos Jacobiano y lo denotamos por $\displaystyle \frac{\partial (F,G)}{\partial (u,v)}$.

Ejemplo. Analizar la solubilidad del sistema
$$e^{u}+e^{v}=x+ye$$
$$ue^{u}+ve^{v}=xye$$
$\small{Solución}$ En este caso definimos
$$F(x,y,u,v)=e^{u}+e^{v}-x-ye=0$$
$$G(x,y,u,v)=ue^{u}+ve^{v}-xye=0$$
por lo que el sistema tendra solución si $\displaystyle{\det\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}\neq 0$

En este caso
$$\det\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|=\det\left|\begin{array}{cc} \displaystyle e^{u}&\displaystyle e^{v}\\ue^{u}+e^{e^{u}}&ve^{v}+e^{v}\end{array}\right|=e^{u}\left(ve^{v}+e^{v}\right)-e^{v}\left(ue^{u}+e^{u}\right)=ve^{u+v}-ue^{v+u}\neq 0$$
por lo tanto u y v se pueden ver en términos de x,y $\therefore$ se pueden calcular sus parciales en $u=0,~v=1,~x=1, ~y=1$ que es este caso dan
$$\displaystyle \frac{\partial u}{\partial x}=-\frac{\det
\left|\begin{matrix}-1&-ye\\e^{v}&ve^{v}+e^{v}\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-(ve^{v}+e^{v})+e^{v}ye}{ve^{u+v}-ue^{v+u}}\left.\right|{(0,1,1,1)}=\frac{2e-e^{2}}{e}=2-e$$ $$\displaystyle \frac{\partial v}{\partial x}=-\frac{\det \left|\begin{matrix}e^{u}&ue^{u}+e^{u}\\-1&-ye\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-ye^{u}e+ue^{u}+e^{u}}{ve^{u+v}-ue^{v+u}}\left.\right|{(0,1,1,1)}=\frac{e-1}{e}=1-e^{-1}$$
$$\displaystyle \frac{\partial u}{\partial y}=-\frac{\det
\left|\begin{matrix}-e&-xe\\e^{v}&ve^{v}+e^{v}\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-e(ve^{v}+e^{v})+e^{v}xe}{ve^{u+v}-ue^{v+u}}\left.\right|{(0,1,1,1)}=\frac{e^{2}+e^{2}-e^{2}}{e}=e$$ $$\displaystyle \frac{\partial v}{\partial y}=-\frac{\det \left|\begin{matrix}e^{u}&ue^{u}+e^{u}\\-e&-xe\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-e^{u}xe+e(ue^{u}+e^{u})}{ve^{u+v}-ue^{v+u}}\left.\right|{(0,1,1,1)}=\frac{e-e}{e}=0$$

Teorema de la Función Implícita (n-sistemas de ecuaciones

Considere las n-funciones
$$u_{i}=F_{i}(x_{1},…,x_{m},y_{1},…,y_{n}),~i=1,…,n$$ Sea $P=(\overline{x}{1},…,\overline{x}{m},\overline{y}{1},…,\overline{y}{n}) \in \mathbb{R}^{n+m}$ un punto tal que $F_{i}(P)=0$. Suponga que en una bola $\textit{B} \in \mathbb{R}^{n+m}$ de centro $P$ las funciones $F_{i}$ tienen (sus $m+n$) derivadas parciales continuas. Si el Jacobiano $$ \frac{\partial(F_{1},F_{2},…,F_{n})}{\partial (y_{1},y_{2},…,y_{n})}=\left|\begin{matrix}\frac{\partial F_{1}}{\partial y_{1}}&\frac{\partial F_{1}}{\partial y_{2}}&\cdots&\frac{\partial F_{1}}{\partial y_{n}}\\ \frac{\partial F_{2}}{\partial y_{1}}&\frac{\partial F_{2}}{\partial y_{2}}&\cdots&\frac{\partial F_{2}}{\partial y_{n}}\\ \vdots&\vdots&\ddots&\vdots\\ \frac{\partial F_{n}}{\partial y_{1}}&\frac{\partial F_{n}}{\partial y_{2}}&\cdots&\frac{\partial F_{n}}{\partial y_{n}} \end{matrix}\right|\neq0~en~~P$$

entonces las expresiones
$F_{i}(x_{1},…,x_{m},y_{1},…,y_{n})=0$ y $G(x,y,u,v)=0$ definen funciones (implícitas)
$y_{i}=\varphi_{i}(x_{1},…,x_{m}),~i=1,…,n$ definidas en una vecindad $v$ de $(\overline{x}{1},…,\overline{x}{m})$ las cuales tienen derivadas parciales
continuas en $v$ que se pueden calcular como
$$\frac{\partial y_{i}}{\partial x_{j}}=\frac{\frac{\partial(F_{1},F_{2},…,F_{n})}{\partial (y_{1},…,y_{i-1},x_{j},y_{i+1},…,y_{n})}}{\frac{\partial (F_{1},F_{2},…,F_{n})}{\partial (y_{1},y_{2},…,y_{n})}}$$

Ejemplo. Considere las ecuaciones
$$\begin{matrix}
F(x,y,u,v,w)=x+y+u+v+w=0 \\
G(x,y,u,v,w)=x^{2}-y^{2}+u^{2}-2v^{2}+w^{2}+1=0 \\
H(x,y,u,v,w)=x^{3}+y^{3}+u^{4}-3v^{4}+8w^{4}+2=0
\end{matrix}$$

En el punto $P=(1,-1,1,-1,0)$, se tiene $F(P)=G(P)=H(P)=0$. Todas las derivadas parciales de F, G, H son continuas. Se tiene además que
$$\frac{\partial (F,G,H)}{\partial (u,v,w)}=\det\left|\begin{matrix}1&1&1\\ 2u&-4v&2w\\ 4u^{3}&-12v^{3}&32w^{2}\end{matrix}\right|_{\begin{matrix}u=1\\ v=-1\\ w=0\end{matrix}}=8\neq 0$$
Entonces el teorema asegura que en torno a P podemos despejar $u,v,w$ en términos de $x,y$ y establecer funciones
$$u=u(x,y),~v=v(x,y),~w=w(x,y)$$
las cuales tienen derivadas parciales continuas en una vecindad de $(1,-1)$ que se pueden calcular

$$\frac{\partial u}{\partial x}=-\frac{\frac{\partial (F,G,H)}{\partial (x,v,w)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}},\frac{\partial u}{\partial y}=-\frac{\frac{\partial (F,G,H)}{\partial (y,v,w)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}}$$

$$\frac{\partial v}{\partial x}=-\frac{\frac{\partial (F,G,H)}{\partial (u,x,w)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}},\frac{\partial v}{\partial y}=-\frac{\frac{\partial (F,G,H)}{\partial (u,y,w)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}}$$

$$\frac{\partial w}{\partial x}=-\frac{\frac{\partial (F,G,H)}{\partial (u,v,x)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}},~~\frac{\partial w}{\partial y}=-\frac{\frac{\partial (F,G,H)}{\partial (u,v,y)}}{\frac{\partial (F,G,H)}{\partial (u,v,w)}}$$

El Teorema de la función implícita (parte 2)

Por Angélica Amellali Mercado Aguilar

Deja un comentario

Teorema de la Función Implícita ($f:\mathbb{R}\rightarrow\mathbb{R}$

Teorema. Considere la función $y=f(x)$. Sea $(x_{0},y_{0}) \in \mathbb{R}^{2}$ un punto tal que $F(x_{0},y_{0})=0$. Suponga que la función $F$ tiene derivadas parciales continuas en alguna bola con centro $(x_{0},y_{0})$ y que $\displaystyle \frac{\partial F}{\partial y}(x_{0},y_{0})\neq 0$. Entonces $F(x,y)=0$ se puede resolver para $y$ en términos de $x$ y definir así una función $y=f(x)$ con dominio en una vecindad de $(x_{0},y_{0})$, tal que $y_{0}=f(x_{0})$, lo cual tiene derivadas continuas en $\mathcal{V}$ que pueden calcularse como $y’=f'(x)= \displaystyle \frac{\displaystyle \frac{\partial F}{\partial x}(x,y)}{\displaystyle \frac{\partial F}{\partial y}(x,y)}$, $x \in \mathcal{V}$.

Ejercicio. Si $$y’=f'(x)=-\displaystyle \frac{\displaystyle \frac{\partial F}{\partial
x}(x,y)}{\displaystyle \frac{\partial F}{\partial y}(x,y)}$$ calcular $y^{»}$

Solución. En este caso
$$y^{»}=-\frac{\left(\frac{\partial F}{\partial y}\right)\left[\frac{\partial^{2} F}{\partial x^{2}}\frac{dx}{dx}+\frac{\partial^{2} F}{\partial y\partial x}\frac{dy}{dx}\right]-\left(\frac{\partial F}{\partial x}\right)\left[\frac{\partial^{2} F}{\partial x\partial y}\frac{dx}{dx}+\frac{\partial^{2} F}{\partial y^{2}}\frac{dy}{dx}\right]}{\left(\frac{\partial F}{\partial y}\right)^{2}}$$
$$=-\frac{\left(\frac{\partial F}{\partial y}\right)\left[\frac{\partial^{2} F}{\partial x^{2}}+\frac{\partial^{2} F}{\partial y\partial x}\left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial y}}\right)\right]-\left(\frac{\partial F}{\partial x}\right)\left[\frac{\partial^{2} F}{\partial x\partial y}\frac{dx}{dx}+\frac{\partial^{2} F}{\partial y^{2}}\left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial y}}\right)\right]}{\left(\frac{\partial F}{\partial y}\right)^{2}}$$
$$=-\frac{\left(\frac{\partial F}{\partial y}\right)^{2}\left(\frac{\partial^{2} F}{\partial x^{2}}\right)-\left(\frac{\partial^{2} F}{\partial y\partial x}\right)\left(\frac{\partial F}{\partial x}\right)\left(\frac{\partial F}{\partial y}\right)-\left(\frac{\partial F}{\partial x}\right)\left(\frac{\partial F}{\partial y}\right)\left(\frac{\partial^{2} F}{\partial x\partial y}\right)+\left(\frac{\partial F}{\partial x}\right)^{2}\left(\frac{\partial^{2} F}{\partial y^{2}}\right)}{\left(\frac{\partial F}{\partial y}\right)^{3}}$$
$$=-\frac{\left(\frac{\partial F}{\partial y}\right)^{2}\left(\frac{\partial^{2} F}{\partial x^{2}}\right)-2\left(\frac{\partial^{2} F}{\partial y\partial x}\right)\left(\frac{\partial F}{\partial x}\right)\left(\frac{\partial F}{\partial y}\right)+\left(\frac{\partial F}{\partial x}\right)^{2}\left(\frac{\partial^{2} F}{\partial y^{2}}\right)}{\left(\frac{\partial F}{\partial y}\right)^{3}}$$

Teorema de la Función Implícita ($f:\mathbb{R}^{2}\rightarrow\mathbb{R}$)

Teorema. Considere la función $F(x,y,z)$. Sea $(x_{0},y_{0},z_{0}) \in
\mathbb{R}^{3}$ un punto tal que $F(x_{0},y_{0},z_{0})=0$. Suponga que la
función F tiene derivadas parciales $\displaystyle{\frac{\partial F}{\partial x},~\frac{\partial F}{\partial y},~\frac{\partial F}{\partial z}}$ continuas en alguna bola con
centro $(x_{0},y_{0},z_{0})$ y que $\displaystyle \frac{\partial
F}{\partial z}(x_{0},y_{0},z_{0})\neq 0$.
Entonces $F(x,y,z)=0$ se puede resolver para $z$ en términos de $x,y$
y definir así una función $z=f(x,y)$ con dominio en una vecindad de
$(x_{0},y_{0},z_{0})$, tal que $z_{0}=f(x_{0},y_{0})$, lo cual tiene derivadas continuas
en $\mathcal{V}$ que pueden calcularse como $$\frac{d z}{dx}(x,y)=-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}~~~\frac{d z}{dy}(x,y)=-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}$$

Ejercicio. Si
$$\frac{d z}{dx}(x,y)=-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}$$ calcular $$\frac{\partial^{2}F}{\partial x^{2}}$$

Solución. Tenemos que
$$\frac{\partial^{2}F}{\partial x^{2}}=\frac{\partial}{\partial x}\left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}\right)=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}} \frac{dx}{d x}+ \frac{\partial^{2} F}{\partial y\partial x} \frac{dy}{dx}+ \frac{\partial^{2} F}{\partial z\partial x} \frac{dz}{dx}\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}\frac{dx}{d x}+ \frac{\partial^{2} F}{\partial y\partial z} \frac{dy}{dx}+ \frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dx}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}}+ \frac{\partial^{2} F}{\partial z\partial x} \frac{dz}{dx}\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}+\frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dx}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}}+ \frac{\partial^{2} F}{\partial z\partial x} \left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}}\right)\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}+\frac{\partial^{2} F}{\partial z^{2}}\left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}}\right)\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)^{2} \frac{\partial^{2} F}{\partial x^{2}}-2 \frac{\partial^{2} F}{\partial z\partial x} \frac{\partial F}{\partial x}\frac{\partial F}{\partial z}+\left(\frac{\partial F}{\partial x}\right)^{2}{\frac{\partial^{2} F}{\partial z^{2}}}}{\left(\frac{\partial F}{\partial z}\right)^{3}}$$

Ejercicio. Si
$$\frac{d z}{dy}(x,y)=-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}$$ calcular $$\frac{\partial^{2}F}{\partial y^{2}}$$

Solución. tenemos que
$$\frac{\partial^{2}F}{\partial y^{2}}=\frac{\partial}{\partial y}\left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}\right)=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial y\partial x} \frac{dx}{d y}+ \frac{\partial^{2} F}{\partial y^{2}} \frac{dy}{dy}+ \frac{\partial^{2} F}{\partial z\partial y} \frac{dz}{dy}\right]-\left( \frac{\partial F}{\partial y}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}\frac{dx}{d y}+ \frac{\partial^{2} F}{\partial y\partial z} \frac{dy}{dy}+ \frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dy}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial y^{2}}+ \frac{\partial^{2} F}{\partial z\partial y} \frac{dz}{dy}\right]-\left( \frac{\partial F}{\partial y}\right)\left[ \frac{\partial^{2} F}{\partial y \partial z}+\frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dy}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial y^{2}}+ \frac{\partial^{2} F}{\partial z\partial y} \left(-\frac{\frac{\partial F}{\partial y}}{\frac{\partial F}{\partial z}}\right)\right]-\left( \frac{\partial F}{\partial y}\right)\left[ \frac{\partial^{2} F}{\partial y \partial z}+\frac{\partial^{2} F}{\partial z^{2}}\left(-\frac{\frac{\partial F}{\partial y}}{\frac{\partial F}{\partial z}}\right)\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)^{2} \frac{\partial^{2} F}{\partial y^{2}}-2 \frac{\partial^{2} F}{\partial z\partial y} \frac{\partial F}{\partial y}\frac{\partial F}{\partial z}+\left(\frac{\partial F}{\partial y}\right)^{2}{\frac{\partial^{2} F}{\partial z^{2}}}}{\left(\frac{\partial F}{\partial z}\right)^{3}}$$

Ejercicio. Si
$$\frac{d z}{dy}(x,y)=-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}}{\displaystyle \frac{\partial F}{\partial z}}$$ calcular $$\frac{\partial^{2}F}{\partial y\partial x}$$

Solución. tenemos que
$$\frac{\partial^{2}F}{\partial y\partial x}=\frac{\partial}{\partial y}\left(\frac{\partial F}{\partial x}\right)=\frac{\partial}{\partial y}\left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
x}}{\displaystyle \frac{\partial F}{\partial z}}\right)=$$
$$-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial y\partial x} + \frac{\partial^{2} F}{\partial z\partial x} \frac{\partial z}{\partial y}\right]-\left(\frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial y\partial z} +\frac{\partial^{2} F}{\partial z^{2}}\frac{\partial z}{\partial y}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial y\partial x} + \frac{\partial^{2} F}{\partial z\partial x} \left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}}{\displaystyle \frac{\partial F}{\partial z}}\right)\right]-\left(\frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial y\partial z} +\frac{\partial^{2} F}{\partial z^{2}}\left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial
y}}{\displaystyle \frac{\partial F}{\partial z}}\right)\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)^{2} \frac{\partial^{2} F}{\partial y\partial x}- \frac{\partial^{2} F}{\partial z\partial x} \frac{\partial F}{\partial y}\frac{\partial F}{\partial z}-\frac{\partial^{2} F}{\partial y\partial z} \frac{\partial F}{\partial x}\frac{\partial F}{\partial z}+\frac{\partial^{2} F}{\partial z^{2}}\frac{\partial F}{\partial x}\frac{\partial F}{\partial y}}{\left(\frac{\partial F}{\partial z}\right)^{3}}$$

Teorema de la Función Implicita (version sistemas de ecuaciones)

Consideremos ahora el sistema

$au+bv-k_{1}x=0$
$cu+dv-k_{2}y=0$

con $a,b,c,d,k_{1},k_{2}$ constantes. Nos preguntamos cuando
podemos resolver el sistema para $u$ y $v$ en términos de $x$ y $y$.
Si escribimos el sistema como

$au+bv=k_{1}x$
$cu+dv=k_{2}y$

y sabemos que este sistema tiene solución si $det
\left|\begin{array}{cc} a&b\\
c&d\end{array}\right|\neq0$ en tal caso escribimos

$u=\displaystyle \frac{1}{det \left|\begin{array}{cc} a&b
\\c&d\end{array}\right|}(k_{1}dx-k_{2}by)$,~~$v=\displaystyle \frac{1}{det \left|\begin{array}{cc} a&b
\\c&d\end{array}\right|}(k_{2}ay-k_{1}cx)$.

Esta solución no cambiaría si consideramos


$au+bv=f_{1}(x,y)$
$cu+dy=f_{2}(x,y)$


donde $f_{1}$ y $f_{2}$ son funciones dadas de $x$ y $y$. La posibilidad de despejar las variables $u$ y $v$ en términos de $x$ y $y$ recae sobre los coeficientes de estas variables en las ecuaciones dadas.

Ahora si consideramos ecuaciones no lineales en $u$ y $v$ escribimos el sistema como

$g_{1}(u,v)=f_{1}(x,y)$
$g_{2}(u,v)=f_{2}(x,y)$

nos preguntamos cuando del sistema podemos despejar a $u$y $v$ en términos de $x$ y $y$. Mas generalmente, consideramos el problema siguiente, dadas las funciones $F$ y $G$ de las variables $u,v,x,y$ nos preguntamos cuando de las expresiones

$F(x,y,u,v)=0$
$G(x,y,u,v)=0$

podemos despejar a $u$ y $v$ en términos de $x$ y $y$ en caso de ser posible diremos que las funciones $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ son funciones implícitas dadas. Se espera que $\exists’$n funciones $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ en

$F(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$
$G(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$

con $(x,y)$ en alguna vecindad $V$. Suponiendo que existen $\varphi_{1}$ y $\varphi_{2}$ veamos sus derivadas

$\displaystyle \frac{\partial F}{\partial x}\displaystyle \frac{\partial x}{\partial x}+\displaystyle \frac{\partial F}{\partial y}\displaystyle
\frac{\partial y}{\partial x}+\displaystyle \frac{\partial
F}{\partial u}\displaystyle \frac{\partial u}{\partial
x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle
\frac{\partial v}{\partial x}=0$ $~~ $ $\Rightarrow$ $~~$ $\displaystyle \frac{\partial F}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial x}=-\displaystyle \frac{\partial F}{\partial x}$

$\displaystyle \frac{\partial G}{\partial x}\displaystyle
\frac{\partial x}{\partial x}+\displaystyle \frac{\partial
G}{\partial y}\displaystyle \frac{\partial y}{\partial
x}+\displaystyle \frac{\partial G}{\partial u}\displaystyle
\frac{\partial u}{\partial x}+\displaystyle \frac{\partial
G}{\partial v}\displaystyle \frac{\partial v}{\partial x}=0$ $~~$ $\Rightarrow$ $~~$ $\displaystyle \frac{\partial G}{\partial
u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle
\frac{\partial G}{\partial v}\displaystyle \frac{\partial
v}{\partial x}=-\displaystyle \frac{\partial G}{\partial x}$

Lo anterior se puede ver como un sistema de 2 ecuaciones con 2 incógnitas $\displaystyle \frac{\partial u}{\partial x}$ y $\displaystyle \frac{\partial v}{\partial x}$. Aquí se ve que para que el sistema tenga solución

$det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|\neq0$ en $(P)$ (el $det$ Jacobiano) y según la regla de Cramer.

$\displaystyle \frac{\partial u}{\partial x}=-\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
x}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial x}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{\det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}$, $~~$ $\displaystyle \frac{\partial v}{\partial x}=-\frac{\det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle -\frac{\partial F}{\partial x} \\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial x}\end{array}\right|}{det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|}$ $~~~~$ (con los dos $det$ Jacobianos).

Análogamente si derivamos con respecto a $y$ obtenemos

$\displaystyle \frac{\partial F}{\partial
u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle
\frac{\partial F}{\partial v}\displaystyle \frac{\partial
v}{\partial y}=-\displaystyle \frac{\partial F}{\partial y}$

$\displaystyle \frac{\partial G}{\partial
u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle
\frac{\partial G}{\partial v}\displaystyle \frac{\partial
v}{\partial y}=-\displaystyle \frac{\partial G}{\partial y}$

de donde
$\displaystyle \frac{\partial u}{\partial y}=-\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
y}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial y}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}$, $~~$ $\displaystyle \frac{\partial v}{\partial y}=-\frac{\det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle -\frac{\partial F}{\partial y} \\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial y}\end{array}\right|}{det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|}$ $~~~~$ (con los dos $det$ Jacobianos).

Al determinante $det \left|\begin{array}{cc} \displaystyle
\frac{\partial F}{\partial u}&\displaystyle \frac{\partial
F}{\partial v}
\\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|$ lo llamamos Jacobiano y lo denotamos por $\displaystyle \frac{\partial (F,G)}{\partial (u,v)}$.

Teorema de la Función Implícita (sistemas de ecuaciones)

Teorema 3. Considere las funciones $z_{1}=F(x,y,u,v)$ y $z_{2}=G(x,y,u,v)$. Sea $P=(x,y,u,v) \in \mathbb{R}^{4}$ un punto tal que $F(P)=G(P)=0$. Suponga que en una bola $\textit{B} \in \mathbb{R}^{4}$ de centro $P$ las funciones $F$ y $G$ tienen (sus cuatro) derivadas parciales continuas. Si el Jacobiano $\displaystyle \frac{\partial
(F,G)}{\partial (u,v)}(P)\neq0$ entonces las expresiones $F(x,y,u,v)=0$ y $G(x,y,u,v)=0$ definen funciones (implícitas) $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ definidas en una vecindad $v$ de $(x,y)$ las cuales tienen derivadas parciales continuas en $v$ que se pueden calcular como se menciona arriba.

Demostración. Dado que $$det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|\neq 0$$ entonces $\displaystyle{\frac{\partial F}{\partial u}(p)}$, $\displaystyle{\frac{\partial F}{\partial v}(p)}$, $\displaystyle{\frac{\partial G}{\partial u}(p)}$, $\displaystyle{\frac{\partial G}{\partial v}(p)}$ no son cero al mismo tiempo, podemos suponer sin perdida de generalidad que $\displaystyle{\frac{\partial G}{\partial v}(p)}\neq0$. Entonces la función $z_{1}=G(x,y,u,v)$ satisface las hipótesis del T.F.I y en una bola abierta con centro p, v se puede escribir como $v=\psi(x,y,u)$.

Hacemos ahora
$$H(x,y,u)=F(x,y,u,\psi(x,y,u))$$ y tenemos que
$$\frac{\partial H}{\partial u}=\frac{\partial F}{\partial x}\frac{\partial x}{\partial u}+\frac{\partial F}{\partial y}\frac{\partial y}{\partial u}+\frac{\partial F}{\partial u}\frac{\partial u}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}$$

por otro lado
$$\frac{\partial \psi}{\partial u}=-\frac{\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}$$
por lo tanto
$$\frac{\partial H}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\left(-\frac{\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}\right)=\frac{\frac{\partial F}{\partial u}\frac{\partial G}{\partial v}-\frac{\partial F}{\partial v}\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}\neq0$$por lo tanto para $H(x,y,u)=0$ tenemos que existe una función $u=\varphi_{1}(x,y)$ y por lo tanto $v=\psi(x,y,u)=\psi(x,y,\varphi_{1}(x,y,u))=\varphi_{2}(x,y)$ y por tanto $u,v $ se pueden expresar en términos de $x,y$ en una vecindad de $p$. $\square$

Álgebra Moderna I: Lemas previos al teorema fundamental de los grupos abelianos finitos.

Por Cecilia del Carmen Villatoro Ramos

1 respuesta

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Como dijimos en la primera entrada de esta unidad, uno de los temas a los que queremos llegar es el Teorema fundamental de los grupos abelianos finitos. En esta entrada enumeramos tres lemas para que sea más sencillo identificarlos y que serán útiles en la demostración del Teorema fundamental. En los tres lemas se considerará $G$ un $p$-grupo abeliano y se hablará de elementos de orden máximo (o mínimo) en algún grupo refiriéndose a elementos cuyo orden es mayor (o menor) o igual que el orden de los demás elementos del grupo en cuestión.

El primer lema nos dice que si tomamos un elemento de orden máximo $g$ en $G$ y un $p$-subgrupo, tal que $\left< g\right>$ no es todo $G$ y luego tomamos un elemento de orden mínimo $h$ en $G\setminus\left< g\right>$, entonces el orden de $h$ es $p$.

El segundo lema nos dice que si tenemos un elemento de orden máximo $g$ en $G$, podemos ver a $G$ como el producto directo interno del generado de $g$ y un $H$ subgrupo de $G$.

El tercer lema nos dice que cualquier $p$-subgrupo abeliano es producto directo interno de grupos cíclicos.

En esta entrada enunciamos y probamos los primeros dos lemas, el tercero está en la siguiente entrada.

El orden de un elemento mínimo

Lema 1. Sean $p\in\z^+$ un primo y $G$ un $p$-grupo abeliano. Sea $g\in G$ un elemento de orden máximo. Si $\left<g\right> \lneq G$ ($\left<g\right>$ es subgrupo propio de $G$) y $h$ es un elemento de orden mínimo en $G\setminus \left<g\right>$, entonces $o(h)=p$ y $\left< g\right> \cap \left< h\right> = \{e\}$.

Demostración.
Sean $p\in \z^+$ un primo y $G$ un $p$-grupo abeliano.

Por la definición de $p$-grupo $|G| = p^n$ para algún $n\in \n$.

Sea $g\in G$ de orden máximo. Como $|G|=p^n$, sabemos que $o(g)$ divide a $ |G| = p^n$ y así $o(g) = p^m$ con $m\leq n$.

Observemos que
\begin{align}\label{eq:uno}
a^{p^m} = e \text{ para toda } a\in G,
\end{align}
ya que para toda $a\in G$, $o(a)=p^l$ con $l\leq m$ (debido a que $o(g)=p^m$ es máximo).

Supongamos que $\left< g \right> \lneq G$. Consideremos un elemento $h$ de orden mínimo en $G\setminus \left< g \right>$.

Veamos primero que $o(h)=p$.

Sabemos que $o(h) = p^t$ para alguna $t\leq n$.

Sabemos que $o(h^p) = p^{t-1} < p^t = o(h)$. Así, por la elección de $h$, $h^p\in\left< g \right>$ y en consecuencia tenemos que
\begin{align}\label{eq:dos}
h^{p} = g^s \text{ para algún } s\in \mathbb{N}.
\end{align}

Entonces $(g^s)^{p^{m-1}} = (h^p)^{p^{m-1}} = h^{p^m} = e$ por (\ref{eq:uno}). Así,
\begin{align}\label{eq:tres}
o(g^s) < p^m \text{ y } g^s \text{ no genera a } \left< g \right>.
\end{align}

Sabemos que $\displaystyle o(g^s) = \frac{o(g)}{(s,o(g))}$. Si $p$ no divide a $s$, como $o(g)$ es una potencia de $p$ tendríamos que $(s, o(g)) = 1$ y así $o(g^s) = o(g) = p^m$ contradiciendo (\ref{eq:tres}). Concluimos entonces que $p|s$ es decir $s = pq$ para algún $q\in\z$.

Consideremos $a = g^{-q}h$. Tenemos que
\begin{align*}\label{eq:cuatro}
a^p = g^{-pq} h^p = g^{-s} h^p &= g^{-s}g^s &\text{ por (\ref{eq:dos})} \\
& = e.
\end{align*}

Además, si $a\in \left< g \right>$ tendríamos que $h = ag^q \in\left< g\right>$ lo cual contradice la elección de $h$.

Hemos encontrado entonces un elemento $a\not\in \left< g \right>$ con $a^p = e$. Notamos que $a\neq e$ ya que $a\not\in \left< g \right>$, entonces $a$ debe ser un elemento de orden $p$. Pero $h$ es un elemento de orden mínimo en $G\setminus \left< g \right>$ y $a\in G\setminus \left< g \right>$ con $o(a) = p$. Así, $h$ debe ser también de orden $p$.

Veamos ahora que $\left< g \right> \cap \left< h\right> = \{e\}$.

Sabemos que $\left<g\right>\cap\left<h\right>$ es un subgrupo de $\left<h\right>$ y $\left<h\right>$ es de orden $p$, entonces $\left<g\right>\cap \left<h\right>$ es de orden $1$ o $p$. Si $|\left<g\right>\cap \left<h\right>|= p$ tendríamos que $\left<g\right>\cap \left<h\right>\leq \left<h\right>$ con $|\left<g\right>\cap \left<h\right>|= p=|\left<h\right>|$, entonces $\left<g\right>\cap \left<h\right>=\left<h\right>$ lo que implica que $\left<h\right>\subseteq \left<g\right>$. En consecuencia tendríamos que $h \in \left<g\right>$, lo que contradice la elección de $h$.

Concluimos que $\left<g\right>\cap \left<h\right> = \{e\}$.

$\blacksquare$

$G$ como producto de $\left< g\right>$ y un subgrupo cualquiera

Lema 2. Sean $p\in \z^+$ un primo y $G$ un $p$-grupo abeliano. Supongamos que $g\in G$ es un elemento de orden máximo. Entonces $G$ es el producto directo interno de $\left< g\right>$ y un subgrupo $H$ de $G$.

Demostración.
Sean $p\in\z^+$ primo.

Realizaremos la demostración por el segundo principio de inducción.

H.I. Supongamos que para todo grupo abeliano $\tilde{G}$ con $|\tilde{G}| = p^k$ y $0\leq k < n$ se tiene que si $\tilde{g}\in \tilde{G}$ es de orden máximo, entonces $\tilde{G}$ es el producto directo interno de $\left< \tilde{g}\right>$ y un subgrupo $\tilde{H}$ de $\tilde{G}$.

Sea $G$ un $p$-grupo abeliano con $|G| = p^n$ para algún $n\in\n$.

Sea $g\in G$ de orden máximo. Como $|G| = p^n$, sabemos que $o(g)$ divide a $|G| = p^n$ y así $o(g) = p^m$ con $m\leq n$.

Si $G = \left<g\right>$ el resultado se cumple considerando $H=\{e\}$.

Si $\left< g \right> \lneq G$ consideremos un elemento $h$ de orden mínimo en $G\setminus \left<g\right>.$

Por el lema 1, sabemos que $o(h) = p$ y que $\left<g\right> \cap \left<h\right> = \{e\}$. Sea $H = \left< h \right>.$

Observemos que $gH$ es un elemento de orden máximo en $G/H$ ya que por (\ref{eq:uno}), $(aH)^{p^m} = a^{p^m}H = H$ para todo $a\in G$. Además $(gH)^{o(g)} =g^{o(g)}H = H $ por lo que $o(gH) \leq o(g) = p^m$, y si $o(gH)< p^m$ tendríamos que
\begin{align*}
H = (gH)^{p^{m-1}} = g^{p^{m-1}} H
\end{align*}
y así $g^{p^{m-1}} \in \left< g \right> \cap H = \{e\}$, es decir $g^{p^{m-1}}=e$ contradiciendo que $o(g) = p^m$.

Concluimos así que $gH$ es un elemento de orden máximo en $G/H$, con $G/H$ un $p$-grupo abeliano de orden $|G/H|=|G|/|H|=\frac{p^n}{p}=p^{n-1}$ que es menor que el orden de $G$.

Por H.I. sabemos que $G/H$ es el producto directo interno de $\left<gH \right>$ y un subgrupo $\tilde{H}$ de $G/H$.

Por el teorema de la correspondencia $\tilde{H} = K/H$ para algún $H\leq K \leq G$.

Veamos que $G$ es el producto directo interno de $\left< g\right>$ y $K$.

Veamos primero que $\left<g\right> \cap K = \{e\}$.

Si $x\in \left<g\right> \cap K$, entonces $xH\in \left<gH\right>\cap K/H = \left<gH\right> \cap \tilde{H}$ y como $G/H$ es el producto directo de $\left<gH\right>$ y $\tilde{H}$, entonces $\left<gH\right>\cap \tilde{H} = \{H\}$. Así, $xH \in \{H\}$, entonces $xH=H$ lo que implica que $x\in H$.

Tenemos que $x\in \left<g\right>\cap H = \{e\}$ probando que $x = e$. Así, $\left<g\right> \cap K = \{e\}$.

Veamos ahora que $G=\left<g\right> K $.

Sea $y\in G$, sabemos que $yH\in G/H = \left<gH\right>\tilde{H} = \left<gH\right>K/H$. Esto implica que
\begin{align*}
yH &= (gH)^tkH \text{ para algunos } t\in\z, k\in K\\
&= g^tkH.
\end{align*}

Entonces $(g^tk)^{-1}y = \hat{h}$ con $\hat{h}\in H$. Así $y = g^t k \hat{h}$. Como $H\leq K$ tenemos que $k\hat{h} \in K$, entonces $y\in\left<g\right>K$.

Concluimos que $\left<g\right> \cap K = \{e\}$ y $\left<g\right> K = G$.

Así, $G$ es el producto directo interno de $\left<g\right>$ y $K$.

$\blacksquare$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Considera los siguientes grupos y realiza para cada uno los ejercicios descritos a continuación:

  • $S_4.$
  • $\z_{11}.$
  • $A_5.$
  • $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}.$
  1. Determina si los grupos anteriores son $p$-grupos abelianos. De no serlo, considera un $p$-subgrupo abeliano de ellos.
  2. Busca (en el grupo o en el $p$-subgrupo abeliano) un elemento $g$ de orden máximo tal que $\left< g\right>$ sea un subgrupo propio y encuentra $h$ elemento de orden mínimo en el complemento de $\left< g \right>$ tal que su orden sea $p$.
  3. Describe al grupo o al $p$-subgrupo abeliano como el producto directo interno $\left<g\right>$ y un subgrupo $H$.

Más adelante…

Aunque estos lemas pueden parecer muy técnicos, su función es clara y se verá en la siguiente entrada. Como estos lemas ya están demostrados, la prueba del Teorema fundamental de los grupos abelianos finitos es bastante directa. En la siguiente entrada enunciaremos y demostraremos el tercer lema que se requiere y por fin podremos enfrentarnos al Teorema fundamental de los grupos abelianos finitos.

Entradas relacionadas

Álgebra Moderna I: Producto directo interno

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Continuamos con el estudio del producto de grupos. En la entrada anterior definimos el producto directo externo de grupos, luego vimos unas funciones naturales y definimos los subgrupos $G^*_i$. Demostramos que para un grupo $G = G_1 \times \dots \times G_n$ se cumple que:

  1. $G_i^* \unlhd G \quad \forall i\in\{1,\dots,n\}$.
  2. $\displaystyle G_i^* \cap \left( \prod_{j\neq i} G_j^*\right) = \{e_G\} \text{ para toda }i\in\{1,\dots,n\}$.
  3. $\displaystyle G = \prod_{i = 1}^n G_i^*$.

En resumen, esta proposición nos dice que si $G$ es el producto directo externo de varios grupos, también lo podemos ver como producto de subgrupos normales que cumplen el inciso 2.

En esta entrada queremos generalizar esta idea: ahora $G$ será un grupo cualquiera, tomaremos subgrupos normales $H_i$, con $i\in \{1,\dots,n\}$ de $G$ que cumplan estas propiedades y probaremos que $G$ se puede ver como el producto directo externo de estos subgrupos.

En el producto directo externo, construíamos $G$ a partir de otros grupos que pudieran incluso no estar relacionados entre sí. Ahora intentaremos describir a un grupo $G$ como producto de algunos de sus subgrupos normales, por eso llamaremos a este concepto el producto directo interno.

Producto directo interno de subgrupos

Comencemos definiendo nuestro nuevo producto entre subgrupos normales de $G$.

Definición. Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Decimos que $G$ es el producto directo interno de $H_1,\dots, H_n$ si

  1. $H_i \unlhd G$ para toda $i\in\{1,\dots, n\}$.
  2. $\displaystyle H_i\cap \left(\prod_{j\neq i} H_j\right) = \{e\}$ para toda $i\in\{1,\dots, n\}$.
  3. $\displaystyle G = \prod_{i=1}^n H_i$.

Observación 5. $G_1\times\cdots\times G_n$ es el producto directo interno de los $G_i^*$.

Observación 6. Si $G$ es el producto directo interno de $H_1,\cdots,H_n$, entonces $xy=yx$ para toda $x\in H_i, y\in H_j$ con $i\neq j$.

Demostración.
Sea $G$ producto directo de $H_1,\dots, H_n$, sean $x\in H_i, y\in H_j$, con $j\neq i$, entonces
\begin{align*}
xyx^{-1}y^{-1} = x(yx^{-1}y^{-1}) \in H_i,
\end{align*}
porque $x \in H_i$ y $yx^{-1}y^{-1}\in H_i$ pues $H_i \unlhd G$.

Por otro lado,
\begin{align*}
xyx^{-1}y^{-1} = (xyx^{-1})y^{-1} \in H_j,
\end{align*}
ya que, análogamente, $xyx^{-1} \in H_j$ debido a que $H_j\unlhd G$ y $y^{-1} \in H_j.$

Así, $\displaystyle xyx^{-1}y^{-1} \in H_i \cap H_j \subseteq H_i\cap \prod_{k\neq i} H_k = \{e\}$. Entonces $xyx^{-1}y^{-1} = e$.

Por lo tanto $xy = yx$.

$\blacksquare$

Ejemplo. Sea $G = \left< a \right>$ con $o(a) = 12$. Busquemos subgrupos $H_1, \dots, H_n$ para alguna $n\in \n$ tales que $G$ sea el producto directo interno de estos subgrupos.

Sean $H_1 = \left< a^3\right>, H_2 = \left< a^4\right>$. Como $G$ es abeliano, $H_1\unlhd G, H_2 \unlhd G$. Además
\begin{align*}
H_1\cap H_2 = \{e,a^3,a^6, a^9\} \cap \{e, a^4, a^8\} = \{e\}.
\end{align*}

Como
\begin{align*}
a = ae = a a^{12} = a^{13} = a^9a^4 \in H_1H_2
\end{align*}
tenemos que $G = \left< a \right> \subseteq H_1H_2$. Por la cerradura del producto en $G$ se tiene además que $H_1H_2 \subseteq G$, entonces $G=H_1H_2$.

Por lo tanto $G$ es el producto directo interno de $H_1$ y $H_2$.

Observación 7. Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Si $G$ es el producto directo interno de $H_1,\dots, H_n$, entonces
\begin{align*}
\varphi : H_1\times \cdots \times H_n \to G
\end{align*}
con $\varphi(h_1,\dots,h_n) = h_1\cdots h_n$ para toda $(h_1,\dots,h_n) \in H_1\times\cdots\times H_n$ es un isomorfismo.

Es consecuencia, si $G$ es finito tenemos que $|G| = |H_1|\cdots|H_n|$.

Descomposición de $G$ en $p$-subgrupos

Algunos subgrupos importantes que vimos son los $p$-subgrupos de Sylow, para $p$ primo. Ahora los usaremos junto con el producto directo interno para describir a $G$ como el producto de sus $p$-subgrupos de Sylow, esto nos recuerda mucho al Teorema Fundamental de la Aritmética.

Teorema. Sea $G$ un grupo finito con $p_1,\dots, p_t$ los distintos factores primos del orden de $G$ y $P_1, \dots, P_t$ subgrupos de Sylow de $G$ asociados a $p_1,\dots,p_t$ respectivamente. Si $P_i\unlhd G$ para toda $i\in\{1,\dots, t\}$, entonces $G$ es el producto directo interno de $P_1,\dots, P_t$.

Demostración.
Sea $G$ un grupo finito de orden $n$. Sean $p_1,\dots, p_t$ los distintos factores primos de $n$ con $n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_t^{\alpha_t}$. Sean $P_1,\dots, P_t$ subgrupos de $G$ con $P_i$ un $p_i$-subgrupo de Sylow de $G$ y $P_i \unlhd G$ para toda $i\in \{1,\dots, t\}$.

Veamos que para todo $S\subseteq \{1,\dots, t\}$, $\displaystyle \prod_{j\in S} P_j$ es un producto directo interno por inducción sobre $\# S$.

Caso Base. Supongamos que $\# S = 1$,
$S = \{i\} \subseteq \{1,\dots, t\}$ y $P_i$ es el producto directo interno de $P_i$.

H.I. Supongamos que si $T\subseteq \{1,\dots, t\}$ con $\# T < \# S$, entonces $\displaystyle \prod_{j\in T} P_j$ es un producto directo interno.

Sea $\displaystyle H = \prod_{j\in S}P_j$. Veamos que $H$ es el producto directo interno de los $P_j$ con $j\in S$.

Por hipótesis se cumplen las condiciones $1$ y $3$ de la definición de producto directo interno. Veamos que se cumple $2$.

Sean $i\in S$, $\displaystyle x\in P_i\cap \prod_{\substack{j\in S\\ j\neq i}} P_j$.

Como $x\in P_i$, entonces $o(x) $ divide a $ |P_i|$.

Como $\displaystyle x\in \prod_{\substack{j\in S\\ j\neq i}} P_j$, entonces el orden de $x$ divide al orden del producto: $\displaystyle o(x) \Big| \left|\prod_{\substack{j\in S\\ j\neq i}} P_j\right| = \prod_{\substack{j\in S\\ j\neq i}} |P_j|$ donde la última igualdad se debe a que $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} P_j$ es un producto directo interno por H.I. y por la observación 7.

Pero $|P_i| = p_i^{\alpha_i}$ y $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} |P_j| = \prod_{\substack{j\in S\\ j\neq i}} p_j^{\alpha_j}$ con $\alpha_j\in \n^+$ para toda $j\in S$, entonces $|P_i|$ y $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} |P_j|$ son primos relativos. Así, $o(x) = 1$. Por lo que $\displaystyle P_i \cap \prod_{\substack{j\in S\\ j\neq i}} P_j = \{e\}$.

Hemos probado entonces que $\displaystyle \prod_{\substack{j\in S}} P_j$ es un producto directo interno para toda $S\subseteq \{1,\dots,t\}$. En particular para $S = \{1,\dots, t\}$ tenemos que $\displaystyle \prod_{j = 1}^t P_j$ es un producto directo interno. Por la observación 7,
\begin{align*}
\left| \prod_{j = 1}^t P_j \right| = \prod_{j=1}^t |P_j| = n = |G|
\end{align*}
ya que $P_1,\dots,P_t$ son subgrupos de Sylow asociados a los distintos factores primos de $G$.

Como $\displaystyle \prod_{j=1}^t P_j$ es un subgrupo de $G$ de orden $|G|$ tenemos que $\displaystyle G = \prod_{j=1}^t P_j$.

Por lo tanto $G$ es el producto directo interno de $P_1,\dots, P_t$.

$\blacksquare$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Demuestra las observaciones 5 y 7.
    • $G_1\times\cdots\times G_n$ es el producto directo interno de los $G_i^*$.
    • Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Si $G$ es el producto directo interno de $H_1,\dots, H_n$, entonces
      \begin{align*}
      \varphi : H_1\times \cdots \times H_n \to G
      \end{align*}
      con $\varphi(h_1,\dots,h_n) = h_1\cdots h_n$ para toda $(h_1,\dots,h_n) \in H_1\times\cdots\times H_n$ es un isomorfismo.
  2. Regresa a la entrada de Ejemplo de Sylow y considera $S_4$.
    • De existir, busca $H_1, \dots, H_n$ tal que $S_4$ sea producto directo de $H_1,\dots , H_n.$
    • Usando los $p$-subgrupos de Sylow que encontramos, describe a $S_4$ como producto directo interno de ellos. Aplica el último teorema visto.
  3. Aplica el último teorema visto a los grupos $\z_6$ y $T = S_3 \times \z_4$. Para cada uno encuentra los primos $p_1, \dots , p_n$ que conforman al orden del grupo y los $P_1, \dots , P_n$ subgrupos de Sylow que corresponden a estos primos. Al final, representa a cada grupo como producto directo interno de estos $p$-subgrupos de Sylow.

Más adelante…

La descomposición de un grupo en $p$-subgrupos que vimos es una probada de lo que veremos en el Teorema fundamental de grupos abelianos finitos, la relación de los primos que componen al orden del grupo con los $p$-subgrupos del mismo grupo. Pero antes de poder enunciarlo, necesitamos enunciar algunos teoremas que nos ayudarán y que se sirven de los productos directos interno y externo que hemos estado viendo.

Entradas relacionadas