Sea $f : A \subseteq \mathbb{R}^n \rightarrow \mathbb{R}^m $ una función continua en $A$ y $A$ un conjunto abierto.
Entonces para todo abierto $\mathcal{V} \subseteq \mathbb{R}^m $ la imagen inversa de $\mathcal{V}$, $f^{-1}(\mathcal{V})$ es un abierto de $\mathbb{R}^n.$
Demostración:
Sea $\mathcal{V}$ abierto de $\mathbb{R}^n.$
Supongamos que $f^{-1}(\mathcal{V}) \neq \emptyset.$
Si $f^{-1}(\mathcal{V}) = \emptyset $ , es un abierto entonces, terminó la demostración.
Ahora bien, sea $\vec{x_0} \in f^{-1}(\mathcal{V})$ entonces $f(\vec{x_0}) \in \mathcal{V}$ luego, $f(\vec{x_0})$ es punto interior de $\mathcal{V}.$
$\big[$ por demostrar: $\vec{x_0}$ es punto interior de $f^{-1}(\mathcal{V}$ $\big]$
Por hipótesis, $f$ es continua.
Sea $\epsilon > 0 $ tal que $B_{\epsilon}(f(\vec{x_0})) \subseteq \mathcal{V}$. Dicha $\epsilon$ existe porque $\mathcal{V}$ es abierto y $f(\vec{x_0}) \in \mathcal{V}.$
Entonces, existe $\delta > 0$ tal que si $\vec{x} \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon}(f(\vec{x_0})) \subseteq \mathcal{V}.$
$\vec{x_0}$ es punto interior de $f^{-1}(\mathcal{V})$ ya que $B_{\delta}(\vec{x_0}) \subseteq f^{-1}(\mathcal{V})$
Razón: $\vec{x} \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon}(f(\vec{x_0}))$ entonces $f(\vec{x}) \in \mathcal{V}$ implica $\vec{x} \in f^{-1}(\mathcal{V})._{\blacksquare}$
Proposición 2:
Sea $A \subseteq \mathbb{R}^n$ un abierto.
Sea $f : A \subseteq \mathbb{R}^n \rightarrow \mathbb{R}^m.$
Si la imagen inversa de abiertos en $\mathbb{R}^m$ es un abierto en $\mathbb{R}^n$, entonces la función $f$ es continua en $A.$
Demostración:
Sea $\vec{x_0} \in A.$
$\big[$ por demostrar: $f$ es continua en $\vec{x_0}$ $\big]$
Sea $\epsilon > 0.$
$\big[$ por demostrar: existe $\delta > 0$ tal que si $x \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon} (f(\vec{x_0}))$ $\big]$
Sea $\mathcal{V} = B_{\epsilon} (f(\vec{x_0}))$ es un abierto de $\mathbb{R}^m$.
Por hipótesis, $f^{-1}(\mathcal{V}) \subseteq \mathbb{R}^n$ es abierto.
Existe $\delta_1 > 0 $ tal que $B_{\delta} (\vec{x_0}) \subseteq f^{-1}(\mathcal{V}).$
$A$ es abierto, existe $\delta_2 > 0 $ tal que $B_{\delta_2}(\vec{x_0}) \subseteq A.$
Sea $\delta = mín\{ \delta_1 , \delta_2\}$ es la $\delta$ que necesitamos. $_{\blacksquare}$
Si $f$ es continua en $\mathcal{K}$ y $\mathcal{K}$ es compacto, entonces $f$ es uniformemente continua en $\mathcal{K}.$
Demostración:
Sea $\epsilon > 0.$
Como $f$ es continua, para cada $x \in \mathcal{K}$ existe $\delta_x > 0$ tal que si $ \| x-y \| < \delta_x $ entonces $\big\|f(x) – f(y) \big\| < \frac{\epsilon}{2}$
Como $\mathcal{K}$ es compacto, $\mathcal{K} \subseteq \bigcup\limits_{x \in \mathcal{K}} B_{\frac{\delta_x}{2}}(x)$ es una cubierta abierta de $\mathcal{K}.$
Entonces, existe una subcubierta finita $B_{\frac{\delta_1}{2}}(x_1), \dots , B_{\frac{\delta_l}{2}}(x_l).$
Supongamos que la intersección no es el conjunto vacío.
Entonces existe $\vec{x} \in f^{-1}(\mathcal{V_1}) \cap f^{-1}(\mathcal{V_2})$ por lo que se cumple que $f(\vec{x}) \in \mathcal{V_1}$ y $f(\vec{x}) \in \mathcal{V_2}$ por lo tanto $ \mathcal{V_1} \cap \mathcal{V_2} \neq \emptyset$ (CONTRADICCIÓN: ya que los supusimos ajenos).
Entonces $A \subseteq f^{-1}(\mathcal{V_1}) \cup f^{-1}(\mathcal{V_2}).$
Entonces $f(A) \subseteq \mathcal{V_1} \cup \mathcal{V_2}$, es decir, se tiene que $\vec{x} \in \mathcal{V_1}$ o $\vec{x} \in \mathcal{V_2}$, por lo tanto $$\vec{x} \in f^{-1}(\mathcal{V_1}) \; \text{o} \; \vec{x} \in f^{-1}(\mathcal{V_2})$$
Si $f(\vec{x}) \in \mathcal{V_1}$ entonces $\vec{x} \in f^{-1}(\mathcal{V_1}).$
Si $f(\vec{x}) \in \mathcal{V_2}$ entonces $\vec{x} \in f^{-1}(\mathcal{V_2}).$
Por lo tanto, $$\vec{x} \in f^{-1}\mathcal{V_1}\cup f^{-1}(\mathcal{V_2}).$$
Falta ver que $$A \cap f^{-1} (\mathcal{V_1}) \neq \emptyset$$ $$A \cap f^{-1} (\mathcal{V_2}) \neq \emptyset$$
Como $f(A) \cap \mathcal{V_1} \neq \emptyset$ entonces, existe $\vec{a_1} \in A$ tal que $f^{-1}(\vec{a_1}) \in \mathcal{V_1}$ es decir $\vec{a_1} \in f^{-1}(\vec{a_1}) \cap A \neq \emptyset.$
Análogamente, como $f(A) \cap \mathcal{V_2} \neq \emptyset$ entonces, existe $\vec{a_2} \in A$ tal que $f^{-1}(\vec{a_2}) \in \mathcal{V_2}$ es decir $\vec{a_2} \in f^{-1}(\vec{a_2}) \cap A \neq \emptyset.$ $_{\blacksquare}$
CASO PARTICULAR
$$f : A \subseteq \mathbb{R}^n \longrightarrow \mathbb{R}$$
Teorema del valor intermedio.
Si $A$ es conexo y $f$ es continua, y existen $\vec{x_1}$, $\vec{x_2}$ $\in A$ tales que $$f(\vec{x_1}) < f(\vec{x_2})$$
Para todo $c$ tal que $f(\vec{x_1}) < c < f(\vec{x_2})$ existe un $\vec{x_c} \in A$ tal que $$f(\vec{x_c}) = c$$
Por el teorema que acabamos de probar $f(A) \subseteq \mathbb{R}$ es un conjunto conexo.
Si no existiera $\vec{x_c} \in A$ tal que $f(\vec{x_c}) = c$ entocnes consideremos
$\mathcal{V_1} = (-\infty, c)$
$\mathcal{V_2} = (c, \infty)$, abiertos y ajenos.
Por lo que, como $\vec{x_1} \in A \Rightarrow f(\vec{x_1}) \in f(A)$ pero $f(\vec{x_1}) \in \mathcal{V_1}$ entonces $f(A) \cap \mathcal{V_1} \neq \emptyset$
Análogamente, como $\vec{x_2} \in A \Rightarrow f(\vec{x_2}) \in f(A)$ pero $f(\vec{x_2}) \in \mathcal{V_2}$ entonces $f(A) \cap \mathcal{V_2} \neq \emptyset$
Luego $f(A)$ sería disconexo. (CONTRADICCIÓN)
$\therefore$ existe $\vec{x_c} \in A$ tal que $f(\vec{x_c}) = c$ $_{\blacksquare}$
Definición:
Sea $A \subseteq \mathbb{R}^n$
Se dice que $A$ es conexo por trayectorias (c.p.t.) si para todo par de puntos $\vec{p}, \vec{q} \in A$ existe una curva poligonal tal que une $\vec{p}$ con $\vec{q}$ y está contenida en $A.$
Ejemplo:
$$A = \mathbb{R}^n \setminus \big\{(x,y) \in \mathbb{R}^2 \big| x \leq 0, y = 0 \big\}$$
A partir de la involución en una hilera de puntos y sus puntos conjugados relacionados con la razón cruzada, es que nace el concepto de haces de líneas en involución. Muchos de los resultados que se muestran son gracias al principio de dualidad.
Haces de líneas en involución
Definición. Dado un haz de rectas correlacionadas por parejas y donde los puntos de intersección de los pares con cualquier transversal que no pase por el vértice del haz son pares conjugados de una involución de puntos.
Ejemplo: Sean el haz con las rectas correlacionadas por pares $a,a’,b,b’,c$ y $ c’$. Tracemos una recta que corte al haz de rectas y que no pase por $O’$, se tienen las intersecciones $A,A’,B,B’,C$ y $C’$ y donde estos son pares de puntos conjugados de una involución. De esta forma se tiene un haz de rectas en involución.
$\triangle$
Propiedades
Al igual que en las hileras de puntos dobles, entonces las rectas del haz que pasan por estos puntos se les llamaran rectas dobles de la involución
Las dos rectas que pertenecen al mismo par se llaman rectas conjugadas.
De la misma forma en que se tienen los dos tipos de involución hiperbólica y elíptico, estos serán usados con haces de líneas en involución en el mismo sentido que el uso con hileras de puntos en involución.
Del teorema de razón cruzada en la involución, el cual dice «La razón cruzada de cualesquiera cuatro puntos de una involución en la cual están presentes tres pares conjugados, es igual a la razón cruzada de sus cuatro conjugados» nos da la siguiente propiedad si un haz de líneas corta cualquier transversal en una involución, cortará cualquier transversal que no pase por su vértice en una involución.
Ejemplo. Se tiene la razón cruzada y la igualdad $\{ACA’B\}=\{A’C’AB’\}$ y como se tiene el haz en involución, entonces cuando corte a la transversal $l’$ se tendrán las siguientes igualdades de razón cruzada: $\{ACA’B\}=\{A_1C_1A’_1B_1\}$ y $\{A’C’AB’\}=\{A’_1C’_1A_1B’_1\}$ Y por la igualdad de $\{ACA’B\}=\{A’C’AB’\}$, entonces $\{A_1C_1A’_1B_1\}=\{A’_1C’_1A_1B’_1\}$. Lo cumple el teorema de razón cruzada con involución, por lo tanto, los puntos de $l’$ están en involución respecto al punto $O’_1$.
$\triangle$
Haz en involución y el vértice en la circunferencia
Teorema. Sea un haz de rectas en involución donde se tienen los pares conjugados $a,a’,b,b’,c,c’$ y que tienen su vértice en una circunferencia, y si estas rectas cortan la circunferencia nuevamente en $A,A’,B,B’,C,C’$ respectivamente, entonces las rectas $AA’, BB’, CC’$ son concurrentes.
Demostración. Tracemos una recta $l$ que corte al haz y no pase por $Q$, nos da las intersecciones $A_1, B_1, C_1, A_1′, B_1′, C_1’$.
Como los haces de líneas está en involución y cualquier recta que corte al haz nos da una hilera de puntos en involución, por el teorema de razón cruzada con hilera de puntos nos da la siguiente igualdad.
$\{A_1A_1’B_1C_1\}=\{A_1’A_1B_1’C_1’\}$
Por propiedades de razón cruzada se cumple:
$\{aa’bc\}=\{a’ab’c’\}$
Se puede decir que la propiedad de razón cruzada también se cumple para haz de rectas en involución, es decir, que cualesquiera cuatro rectas que tiene de esa involución la razón cruzada va a ser a la de sus correspondientes. Observemos que estos haces salen a partir del punto $Q$ y pasan por los puntos de intersección con la circunferencia. Entonces se puede poner el haz desde $Q$:
$Q\{AA’BC\}=Q\{A’AB’C’\}$
Y va a ser lo mismo si cambiamos $Q$ por $B’$ y $C$:
$B’\{AA’BC\}=C\{A’AB’C’\}$
Tracemos las rectas $AA’$, $BB’$ y $CC’$, y tracemos la recta $B’C$, donde se tienen las intersecciones con $AA’$ que son $X,Y $ y $Z$. Por demostrar que $X=Y$.
La razón cruzada de $B’\{AA’BC\}=B’\{AA’XZ\}$ y, por otro lado, $C\{A’AB’C’\}=C\{A’AZY\}$, entonces $\{AA’XZ\}=\{A’AZY\}$. De esta igualdad se tienen tres puntos iguales $A’,A$ y $Z$, y el cuarto punto $X$ y $Y$ deben ser iguales, ya que si intercambiamos dos puntos de esta razón cruzada, los otros dos también deben intercambiarse, para que se conserve la razón cruzada entonces se tiene la igualdad:
$\{AA’XZ\}=\{AA’YZ\}$
Por lo cual $X=Y$ y se concluye que las rectas $AA’$, $BB’$ y $CC’$ son concurrentes.
$\square$
Del resultado anterior se puede generar la duda de que pasa si la involución es hiperbólica o elíptica, por ende se debe definir de manera más formal.
Definición. Sea $a,a’,b,b’,c,c’$ los haces de líneas en involución y una recta $l$ que no pase por el vértice $Q$ del haz, la cual generara intersecciones con el haz, las cuales son $A,A’,B,B’,C,C’$ respectivamente.
Si $A,A’,B,B’,C,C’$ es una involución elíptica, se dice que el haz está en involución elíptica.
Si $A,A’,B,B’,C,C’$ es una involución hiperbólica, se dice que el haz está en involución hiperbólica.
Rectas Conjugadas en ángulos rectos
Teorema. En un haz de rectas en involución siempre hay un par de rectas conjugadas perpendiculares entre sí, por otra parte, si existe más de un par de rectas conjugadas en ángulos rectos, entonces todos los pares conjugados son perpendiculares entre sí y la involución es elíptica.
Demostración. Sea un haz de rectas en involución $a,a’,b,b’,c,c’$ con $Q$ vértice, tracemos una circunferencia con centro $O$ que pase por $Q$ y el haz corte a la circunferencia en los puntos $A,A’,B,B’,C,C’$ respectivamente al orden que se mencionó las rectas. Por el teorema anterior se afirma que las rectas $AA’, BB’, CC’$ son concurrentes en $X$. Tracemos la recta $XO$, la cual corta a la circunferencia en dos puntos $D$ y $D’$ los cuales son puntos extremos del diámetro $DD’$. Si trazamos las rectas $DQ$ y $D’Q$ nos forma un ángulo recto $\angle DQD’$.
Por demostrar que las rectas $DQ$ y $D’Q$ son un par conjugado de la involución. Tracemos una recta $l$ que corte al haz $a,a’,b,b’,c,c’$ en involución en los puntos $A_1,A_1′,B_1,B_1′,C_1,C_1’$ respectivamente, además corta a las rectas $QD$ y $QD’$ en $D_1$ y $D_1’$ respectivamente.
Tenemos que ver que los pares $D_1$ y $D_1’$ están en la hilera de puntos en involución, entonces supongamos que $D_1$ tiene su par conjugado en la involución $D_1’$$’$, se quiere demostrar que $D_1’=D_1’$$’$. Por teorema de razón cruzada en involución se tienen las siguientes igualdades:
$\{A_1B_1C_1D_1\}=\{A_1’B_1’C_1’D_1’$$’\}$ y $\{A_1B_1C_1D_1\}=Q\{ABCD\}$.
Ahora en razón cruzada nos dice que si cuatro secantes que pasan por un punto $X$ y al observar la razón cruzada del haz formado por un punto $Q$ en la circunferencia con los puntos $A,B,C,D$ debe ser la misma razón cruzada del haz con los puntos correspondientes de la secante ósea $A’,B’,C’,D’$, lo cual da la igualdad:
$Q\{ABCD\}=Q\{A’B’C’D’\}$ y ademas $Q\{A’B’C’D’\}=\{A_1’B_1’C_1’D_1’\}$.
Entonces $\{A_1’B_1’C_1’D_1’$$’\}=\{A_1’B_1’C_1’D_1’\}$ por ende $D_1’=D_1’$$’$, se concluye que $DQ$ y $D’Q$ son un par conjugado perpendicular de la involución.
Ahora, si existe otro par de rectas conjugadas en ángulos rectos, las cuales supongamos que son $b$ y $b’$, esto nos diría que sus puntos $B$ y $B’$ son diametralmente opuestos, por lo cual, las rectas $DD’$ y $BB’$ se cortan en el centro $O$. Y como se tiene el haz de rectas conjugadas en involución $a,a’,DQ,D’Q, b,b’$ entonces las rectas $AA’,DD’$ y $BB’$ son concurrentes, pero como $DD’$ y $BB’$ se cortan en $O$ entonces también $AA’$ pasa por $O$. Se concluye que todos los pares conjugados son perpendiculares entre sí y la involución es elíptica.
$\square$
Teoremas relacionados con los haces de líneas en involución
Se mencionarán tres teoremas, los cuales se dejaran como ejercicios a resolver.
Teorema. Dado un cuadrángulo completo, sus tres pares de lados opuestos son intersecados por cualquier transversal que no pasa por un vértice en tres pares de puntos conjugados de una involución.
Teorema. Sea un cuadrángulo inscrito en una circunferencia, cualquier recta que no pase por un vértice, corta a la circunferencia y los pares de lados opuestos del cuadrángulo en una involución.
Teorema. Si dos pares de lados opuestos de un cuadrángulo completo son ortogonales, el tercer par es también ortogonal.
Más adelante…
Se dejarán los ejercicios correspondientes a esta unidad de Razón Cruzada.
Este apartado se presentara el concepto de tasa efectiva de interés, sus características y la forma en que se puede aplicar, tanto al modelo de interés simple como al compuesto, para evidenciar su uso.
Definición
Se entiende como tasa efectiva de interés o también tasa efectiva por periodo, a la proporción de intereses ganados por unidad de capital de tiempo. El llamarla efectivo mensual o efectiva, dentro de las matemáticas financieras, para especificar la tasa de la que se está hablando, esto es la tasa que corresponde a la que se pagará por unidad de capital y de tiempo.
Desarrollo
La periodicidad de la tasa es la que nos va a indicar cada cuando se tienen que pagar los intereses. Éstos pueden ser pagados con la periodicidad que se desee, esto es; en años, meses, días, semanas, etc. Bastará con hacer mención que la tasa es efectiva por día, por semana, por mes, etc. Es necesario hacer mención que la tasa de interés siempre tendrá que contar con el lapso o periodicidad con la que se esté trabajando, ya que con esto se da a conocer cada cuando se harán los pagos de los intereses.
El hecho de que éste tipo de tasas se les agregue la palabra «efectiva» hace posible que se eviten confusiones con otro tipo de tasas, como las nominales, las instantáneas, las cuales se verán más adelante.
Ejercicios resueltos
Ejercicio. En el modelo de interés simple se nos pide que se calcule Los intereses generados por un capital de \$100 con una tasa efectiva mensual del 15% en un plazo de 5 meses
Solución
La respuesta se obtiene aplicando el modelo de interés simple, como a continuación se muestra:
$$M=K(1+it)=100(1+.15(5))=175$$
Los intereses generado son de: \$75
Ejercicio. Haciendo uso del modelo de interés simple, calcula los intereses generados por una tasa efectiva trimestral de 22%, en un plazo de 10 meses con un capital de \$500
Solución
Se sabe que un en 10 meses se tienen 3 trimestres, por lo que $t=3+.333=3.333$
Repitiendo el mismo procedimiento, se tiene:
$$M=500(1+(.22)(3.3333))=536.663$$
Los intereses generados son de \$36.663
Ejercicio. Usando el modelo de interés compuesto calcula los intereses generados por una tasa efectiva anual del 6.5%, luego de 2 años 6 meses, con un monto de \$300.
Solución
La tasa es efectiva anual, entonces el tiempo es de 2.5 años. Luego usando el modelo de interés compuesto se tiene:
Los intereses que genera dicha tasa son: \$51.15120
Más adelante…
Se estarán analizando los diferentes tipos de tasas con las que operan las matemáticas financieras, para conocer e identificar sus características así como sus diferencias.
