En esta nueva entrada veremos el concepto de relación, para lo cual es necesario tener fresco el concepto de producto cartesiano. Así mismo, definiremos nuevos conjuntos a partir de una relación, como lo son el dominio, la imagen de una relación, la imagen de un conjunto bajo una relación y el concepto de relación inversa. Concluiremos esta entrada definiendo a la imagen inversa de un conjunto bajo una relación.
Relación
Definición. Sean y conjuntos. Una relación de en es un subconjunto de . A le llamamos el dominio de la relación y a el codominio.
Si diremos que es una relación en .
Ejemplo 1.
Sea y y definimos como:
.
Dado que y decimos que es una relación de en .
Ejemplo 2.
Sea y . Definimos . Tenemos que es una relación de en . En efecto, esto sucede pues , ya que .
Podemos representar a mediante el siguiente diagrama. Del lado izquierdo hemos puesto al dominio . Del lado derecho al codominio . Para cada pareja de la relación, hemos puesto una flecha de a .
Definición. Si con relación, decimos que está relacionado con mediante (o simplemente que está relacionado con si por el contexto es claro quién es ) y lo denotaremos como .
Si retomamos el Ejemplo 1 podemos decir que y .
A partir del Ejemplo 2 podemos decir que , y .
Relaciones relevantes
A continuación hablaremos de algunos ejemplos de relaciones que nos serán de utilidad más adelante.
Relación vacía. Si , entonces será llamada la relación vacía. Esto tiene sentido pues para cualesquiera y conjuntos.
Relación identidad. Sea un conjunto cualquiera. Definimos la relación identidad en como: Notamos que pues para cualquier se tiene que con , lo que significa que .
Relación de pertenencia. Sea un conjunto. Definimos a la relación de pertenencia en como el siguiente conjunto:
Relación de contención. Sea un conjunto. Definimos a la relación de contención en como el siguiente conjunto:
Dominio de una relación
Ya que hemos definido el concepto de relación de en , a continuación definiremos al dominio de una relación.
Definición. Sea una relación de en . Definimos el dominio de la relación como:
.
Ejemplo.
Sean . Definimos . Tenemos que pues para existe, digamos, tal que y para existe tal que .
Imagen de una relación
A continuación vamos a definir lo análogo al dominio activo, pero para el codominio. Le daremos un nombre al subconjunto de elementos del codominio que sí participan en la relación.
Definición. Sea una relación de en . Definimos la imagen de como el conjunto
.
Ejemplo.
Sean . Definimos .
Tenemos que pues para existe, digamos tal que . Sin embargo, pues no tiene ninguna pareja de la forma con .
Imagen de un conjunto bajo una relación
A veces queremos preguntarnos por los elementos del codominio que participan en la relación, pero sólamente con ciertos elementos del dominio. La siguiente definición establece esto.
Definición. Sea una relación de en . Sea . Definimos a la imagen de bajo como el el conjunto
.
Ejemplo.
Sean y conjuntos. Sea , la cual es una relación de en . Tomemos . Tenemos que
.
Relación inversa
Para cerrar esta entrada, introduciremos un concepto más: el de relación inversa.
Definición. Sean y conjuntos. Sea una relación de en . Definimos la relación inversa de como la relación de en definida como sigue:
.
Notemos que la relación inversa intercambia el orden de las entradas de las parejas ordenadas que son elementos de la relación .
Ejemplo.
Sea y y definimos como:
Tenemos que
En efecto, como tendremos que y como tendremos que .
Proposición. Sea una relación. Se cumple que .
Demostración.
Tenemos que
Imagen inversa de un conjunto bajo una relación
Definición. Sea una relación de en . Sea . Definimos a la imagen inversa de bajo como el el conjunto
.
Ejemplo.
Sean y conjuntos. Si es una relación de en , entonces . Tomemos . Tenemos que
.
Tarea moral
La siguiente lista de ejercicios te permitira reforzar los conceptos de relación, dominio activo e imagen.
Si es la relación vacía, encuentra el dominio y la imagen de .
Para es la relación identidad de , encuentra el dominio y la imagen de .
Sea una relación de en . Encuentra el dominio y la imagen de . Además, escribe al conjunto .
Si es la relación identidad de , describe quién es .
Más adelante…
En la siguiente entrada continuaremos con el tema de relaciones. Esta vez trataremos el tema de composición de relaciones. Definiremos a la composición de relaciones como una relación que se construye a partir de al menos dos relaciones cuyos dominios y codominios tienen ciertas propiedades en común.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»
Profundiza lo suficiente en cualquier cosay encontrarás las matemáticas. – Dean Schlicter
Introducción
En la entrada anterior comenzamos a desarrollar formalmente la teoría cualitativa de las ecuaciones diferenciales, en particular estudiamos algunos sistemas lineales y no lineales autónomos planos, es decir, con dos ecuaciones diferenciales.
Ahora sabemos cómo obtener un bosquejo del campo vectorial asociado al sistema y dibujar algunas trayectorias de forma tangente a los vectores, esto sin siquiera conocer explícitamente las soluciones del sistema. También sabemos identificar los puntos de equilibrio de un sistema y clasificarlos como estables, asintóticamente estables o inestables. Según sea la naturaleza del punto de equilibrio tendremos más información sobre las soluciones del sistema, al menos de forma cualitativa.
En esta entrada haremos un análisis más detallado sobre las trayectorias que se forman en el plano fase y que representan soluciones particulares del sistema. Veremos, además, una forma relativamente sencilla de obtener las trayectorias sin apoyarnos del campo vectorial asociado y es ¡resolviendo una ecuación de primer orden!.
Trayectorias de un sistema autónomo
Recordemos que los sistemas que estamos estudiando son de la forma
Hasta ahora en el plano fase hemos trazado trayectorias descritas por las soluciones de un sistema autónomo guiándonos por el campo vectorial asociado. En esta ocasión desarrollaremos otro método para obtenerlas y es resolviendo una ecuación de primer orden.
Supongamos que
es una solución del sistema () que no permanece constante en el tiempo, es decir, que no se trata de una solución de equilibrio y además la derivada es distinta de cero en , entonces en un entorno del punto se verifica que
Por lo tanto, la trayectoria de esa solución verifica la ecuación diferencial de primer orden
En el caso en el que sea cero para todo , se tendrá que verificar que no siempre sea nula, por lo que la trayectoria de esa solución verifica, análogamente, la ecuación diferencial
En cualquier caso, las trayectorias se podrán determinar resolviendo una ecuación diferencial de primer orden.
Más adelante veremos algunos ejemplos.
Propiedades cualitativas de las trayectorias
Las propiedades cualitativas de las trayectorias nos permiten obtener información sobre el comportamiento de las soluciones. Algunas de las propiedades más importantes se enuncian a continuación.
Cada trayectoria del plano fase representa infinitas soluciones del sistema autónomo.
Teorema: Supongamos que es solución del sistema (), entonces para cada se tiene que es otra solución de ().
Demostración: Sea una solución de (), entonces se cumple que
Para ahorrar notación escribiremos
de manera que el sistema se puede escribir como
Definamos la función auxiliar , entonces la ecuación anterior se puede escribir como
Las dos funciones y coinciden en todo instante. Sea una constante, en particular deben coincidir en , esto es
Pero evaluada en es igual a la derivada de evaluada en , esto es
o bien,
Por lo tanto, la función es otra solución del sistema.
Este teorema es valido para cada lo que muestra que cada una de las trayectorias del plano fase puede representar infinitas soluciones del sistema.
Por ejemplo, una solución del sistema
es
Por el teorema anterior, las funciones
también son solución del mismo sistema y ambas trazan la misma trayectoria en el plano fase, sin embargo no coinciden en el mismo punto al momento de evaluar en .
Para el caso lineal se puede verificar explícitamente el teorema anterior.
Sea un sistema lineal, sabemos que toda solución de esta ecuación es de la forma
para algún vector constante , notemos que
Esto es cierto, ya que
para cualesquiera valores de y . Sea el vector constante , entonces la solución anterior se puede escribir como
Por lo tanto, es también una solución de .
Una observación más es que el teorema anterior no es válido si la función depende explícitamente de . Supongamos que es una solución de la ecuación diferencial no autónoma
Evaluando en , se tiene
por consiguiente, la función satisface la ecuación diferencial
y tal ecuación es diferente de la ecuación no autónoma ().
Existencia y unicidad de las trayectorias.
Teorema: Supongamos que cada una de las funciones y de un sistema autónomo plano () tiene derivadas parciales continuas con respecto a y , entonces existe una única trayectoria a través de cada punto en el plano fase.
En particular, si las trayectorias de dos soluciones y tienen un punto común, entonces deben ser idénticas.
Demostración: Sea un punto cualquiera en el espacio fase y sea la solución del problema de valores iniciales
La trayectoria de esta solución pasa por el punto , de manera que existe al menos una trayectoria a través de cada punto , esto muestra la existencia. Supongamos ahora que la trayectoria de alguna otra solución también pasa por el punto , esto significa que existe , tal que . Por el teorema anterior se tiene que la función
es también una solución del sistema. Notemos que y tienen el mismo valor en , tal valor es
Dadas las hipótesis del teorema y el resultado () estamos en condiciones de aplicar el teorema de existencia y unicidad de los sistemas de ecuaciones diferenciales, por este teorema se tiene que es igual a para todo . Esto implica que las trayectorias de y son idénticas quedando demostrada la unicidad de las trayectorias.
Observemos que si es un punto de la trayectoria de , es decir, para alguna , entonces está también en la trayectoria de , ya que
Recíprocamente, si es un punto de la trayectoria de , es decir, existe , tal que , entonces está también en la trayectoria de , ya que
En la entrada anterior vimos que los puntos de equilibrio estables se caracterizan por que las trayectorias cercanas a dicho punto nunca llegan a él, dichas curvas solían ser cerradas, veremos a continuación que las curvas cerradas son periódicas.
Las trayectorias cerradas corresponden a soluciones periódicas.
Teorema: Sea una solución del sistema autónomo plano (). Si para alguna y , entonces para todo Es decir, si una solución de () regresa a su valor inicial después de un tiempo , entonces debe ser periódica con periodo .
Demostración: Sea una solución de () y supongamos que
para algún par de números y . Por el primer teorema, la función
es también una solución de () que coincide con en el tiempo . Por el teorema de existencia y unicidad de los sistemas de ecuaciones diferenciales se satisface que es idénticamente igual a , por lo tanto
Explícitamente vemos que si es una solución del sistema (), que en dos instantes y toma el mismo valor, entonces
para todo , es decir es periódica.
Concluiremos esta entrada realizando algunos ejemplos.
Ejemplo: Describir las trayectorias del sistema no lineal
Solución : El objetivo de este ejercicio es caracterizar a las soluciones del sistema de forma cualitativa aplicando lo que conocemos hasta ahora.
Lo primero que haremos será determinar los puntos de equilibrio del sistema, dichos puntos se obtienen de resolver el siguiente sistema
Vemos que es un punto de equilibrio y todo punto de la circunferencia
es también un punto de equilibrio.
Ahora podemos determinar las trayectorias del sistema analíticamente resolviendo una ecuación diferencial de primer orden, de acuerdo a () dicha ecuación es
Resolvamos la ecuación diferencial
Apliquemos separación de variables.
En donde engloba todas las constantes. Notamos que las trayectorias corresponden a circunferencias concéntricas de radio , tal que . El plano fase se ve de la siguiente forma.
Plano fase del sistema.
Efectivamente las trayectorias son circunferencias concéntricas lo que significa que son periódicas ya que cada cierto tiempo vuelven al mismo punto de inicio , sin embargo al no conocer explícitamente las soluciones y no no es posible determinar el valor del periodo .
Notemos también que las trayectorias para giran en la dirección de las manecillas del reloj, mientras que las trayectorias para giran en la dirección opuesta. Es claro que todos los puntos de equilibrio son estables ya que ninguna trayectoria tiende a ellos, pero las que están cerca a ellos permanecen cerca para todo .
Ejemplo: Mostrar que las soluciones de la siguiente ecuación diferencial de segundo orden son periódicas.
Solución: Lo primero que haremos será escribir la ecuación de segundo orden en un sistema de dos ecuaciones de primer orden. Sean
Y de la ecuación diferencial vemos que
Entonces el sistema es
Para conocer la forma explícita de las trayectorias escribamos al sistema como una ecuación de primer orden y resolvámosla.
La ecuación es separable.
Las trayectorias están definidas por la ecuación
Esta ecuación define una curva cerrada para cada valor de en el plano y como el único punto de equilibrio es el origen, entonces toda solución es periódica. El plano fase se ve de la siguiente forma.
Plano fase del sistema.
Gráficamente observamos que efectivamente las soluciones son periódicas, sin embargo no es posible calcular el periodo de ninguna solución particular.
Ejemplo: Demostrar cualitativamente que las soluciones del sistema
que comienzan en el primer cuadrante deben permanecer en él para todo .
Solución: Este es un ejemplo que nos muestra que no siempre puede ser sencillo obtener las trayectorias resolviendo una ecuación de primer orden, en este caso la ecuación a resolver sería
Sin embargo, el ejercicio nos pide demostrarlo cualitativamente. La función vectorial es
El plano fase con el campo vectorial asociado y las trayectorias sobre el primer cuadrante se ilustra a continuación.
Plano fase del sistema.
Al menos geométricamente logramos observar que todas las trayectorias que comienzan en el primer cuadrante permanecen en él para todo , esto significa que las soluciones siempre permanecerán positivas para y .
Para concluir estudiemos el movimiento de un péndulo como ejemplo.
Ejemplo: La ecuación de movimiento del péndulo es
en donde es la longitud del hilo del péndulo, el ángulo que forma el hilo con la vertical y la aceleración de la gravedad.
Péndulo simple.
Analizar el movimiento del péndulo.
Solución: Primero comprendamos el fenómeno. Estamos considerando un péndulo simple en el cual si desplazamos la partícula desde la posición de equilibrio hasta que el hilo forme un ángulo con la vertical, y luego la soltamos partiendo del reposo, el péndulo oscilará en un plano bajo la acción de la gravedad. Las oscilaciones tendrán lugar entre las posiciones extremas y , simétricas respecto a la vertical, a lo largo de un arco de circunferencia cuyo radio es la longitud del hilo.
Comencemos por escribir la ecuación del péndulo en una sistema de dos ecuaciones de primer orden. Sean
Y de la ecuación del péndulo obtenemos que
Entonces el sistema correspondiente es
La función vectorial es
Los puntos de equilibrio son los puntos tal que
De la primer ecuación tenemos y de la segunda notamos que para que se debe cumplir que con una constante entera, por tanto el sistema tiene infinitos puntos de equilibrio y son de la forma con .
Consideremos los puntos de equilibrio y . El primer punto indica que
En este caso el péndulo se encuentra en reposo en la posición de equilibrio y no hay desplazamiento ya que la velocidad es nula.
En el caso del segundo punto crítico se tiene que
Por tanto, el ángulo de desplazamiento es , y la velocidad nuevamente es nula. En cualquiera de estas dos situaciones el péndulo continuará así indefinidamente. Sin embargo, estos dos puntos de equilibrio son diferentes. Cuando nos encontramos en la situación de equilibrio , ante cualquier pequeño cambio de la situación (cambio de posición o de velocidad), el sistema presentará pequeñas oscilaciones, mientras que cuando nos encontramos en la situación de equilibrio , estos pequeños cambios harán que el sistema presente una notable desviación. Estas características indican que el punto de equilibrio es estable, mientras que el punto de equilibrio es inestable.
A continuación se muestra el plano fase del sistema en el cual podemos observar las trayectorias para distintas soluciones particulares y lo que sucede alrededor de los puntos de equilibrio.
Plano fase del péndulo simple.
El plano fase muestra geométricamente que las soluciones para valores de pequeños el movimiento es periódico y deja de serlo conforme nos acercamos a los puntos de equilibrio o . Esto tiene sentido, pues la ecuación del péndulo () no corresponde a un movimiento armónico simple debido a la presencia de la función seno, sin embargo para oscilaciones de pequeña amplitud en los que el ángulo es suficientemente pequeño se puede hacer la aproximación , en este caso la ecuación del péndulo se reduce a
la cual corresponde a una ecuación de movimiento armónico simple refiriéndose al movimiento angular en lugar del movimiento rectilíneo.
La solución de la ecuación () es
Donde,
es la frecuencia angular. El periodo será, entonces
y y son constantes correspondientes a la amplitud angular y a la fase inicial del movimiento, respectivamente y son determinadas por las condiciones iniciales.
Con esto concluimos esta entrada.
En las próximas entradas revisaremos nuevamente los sistemas lineales homogéneos y el método de valores y vectores propios para hacer un análisis desde una perspectiva cualitativa.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
Para las demostraciones cualitativas puedes usar la herramienta que hemos estado utilizando.
Demostrar cualitativamente que todas las soluciones del sistema
que comienzan en el semiplano derecho deben permanecer en él para todo .
Demostrar cualitativamente que todas las soluciones del sistema
que comienzan en el semiplano superior deben permanecer en él para todo .
Demostrar cualitativamente que todas las soluciones del sistema
que empiezan en el interior del círculo unitario deben permanecer en él para todo .
Demostrar que todas las soluciones del sistema de ecuaciones
son de la forma , es decir, las trayectorias son una familia de elipses.
Demostrar que alrededor del punto de equilibrio las soluciones de las siguientes ecuaciones de segundo orden son periódicas.
Más adelante…
En la unidad anterior desarrollamos el método de valores y vectores propios para resolver sistemas lineales homogéneos, vimos que existen distintos casos de acuerdo al valor que tomen los valores propios y el método de resolución para cada caso es relativamente distinto. En las siguientes entradas estudiaremos nuevamente estos sistemas con la adición de que ahora estudiaremos el tipo de trayectorias que genera cada sistema en el plano fase y veremos la dependencia que tienen éstas con el valor que tomen los valores propios.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»
Si hay un Dios, es un gran matemático. – Paul Dirac
Introducción
En la entrada anterior realizamos un desarrollo geométrico y un tanto cualitativo de un sistema de dos ecuaciones diferenciales lineales de primer orden homogéneas con coeficientes constantes con el fin de introducirnos a la teoría cualitativa de las ecuaciones diferenciales. En dicha entrada justificamos la razón por la que estudiaremos principalmente los sistemas compuestos por dos ecuaciones de primer orden.
En esta entrada presentaremos formalmente la teoría cualitativa y geométrica de los sistemas tanto lineales como no lineales compuestos por dos ecuaciones diferenciales de primer orden.
Teoría cualitativa
A lo largo del curso nos hemos centrado en el problema de obtener soluciones, hemos desarrollado una serie de métodos de resolución de ciertos tipos de ecuaciones diferenciales y sistemas lineales. Lo que haremos ahora es dar otro enfoque al estudio de las ecuaciones diferenciales planteándonos obtener información cualitativa sobre el comportamiento de las soluciones.
Hemos visto que, a medida que aumenta la complejidad de las ecuaciones diferenciales, o los sistemas lineales, mayor es la dificultad que tenemos para obtener soluciones. Existen incluso ecuaciones que no se sabe cómo se resuelven o ecuaciones en las que obtener su solución es bastante costoso, por lo que una alternativa será hacer un análisis cualitativo, pues muchas veces bastará conocer el comportamiento de las soluciones.
Recordemos que, además de hacer un análisis cualitativo, estamos interesados en hacer un análisis geométrico, así que centraremos nuestra atención en los sistemas de dos ecuaciones diferenciales ya que, como vimos en la entrada anterior, tenemos la oportunidad de hacer gráficas en dos dimensiones, es decir, podremos visualizar sin ningún problema el plano fase.
Sistemas autónomos
En la entrada anterior vimos la importancia de que el sistema no dependa explícitamente de la variable independiente para poder hacer nuestro desarrollo geométrico. Este tipo de sistemas tienen un nombre particular.
Definición: Un sistema autónomo plano es un sistema de dos ecuaciones diferenciales de la forma Label '1' multiply defined En donde las funciones y son continuas y con derivadas parciales de primer orden continuas en todo el plano.
El sistema se denomina autónomo debido a que la variable independiente no aparece explícitamente en las ecuaciones del sistema. Las condiciones de y garantizan la existencia y unicidad de la solución definida del problema de valores iniciales
Label '2' multiply defined
para cualquier y .
En el caso en el que tenemos una ecuación de segundo orden autónoma
Label '3' multiply defined
Se puede convertir en un sistema autónomo introduciendo una nueva variable , obteniendo el sistema
Label '4' multiply defined
Sistemas autónomos lineales
En el caso en el que el sistema autónomo es lineal y con coeficientes constantes, entonces lo podemos escribir como
Label '5' multiply defined
En donde y son constantes, y .
Definimos las funciones y como
Label '6' multiply defined
Podemos definir la función vectorial como
Label '7' multiply defined
Entonces el sistema autónomo () se puede escribir como
Label '8' multiply defined
Por su puesto, si se define la matriz de coeficientes
Label '9' multiply defined
entonces el sistema lineal () se puede escribir como
Label '10' multiply defined
o bien,
Label '11' multiply defined
como es costumbre.
Notación: Hemos visto que no necesariamente haremos uso de la notación vectorial como en la unidad anterior, así que con fines de notación usaremos letras en negrita cuando trabajemos con vectores (o matrices) y letras sin negrita cuando no usemos la notación vectorial a pesar de indicar lo mismo. Por ejemplo, la solución de un sistema en notación vectorial la escribiremos como
mientras que la misma solución sin notación vectorial como
Está última notación nos será de utilidad para representar coordenadas en el plano .
Algunas definiciones
Las siguientes definiciones son generales, para cualquier sistema autónomo de dos ecuaciones diferenciales de primer orden.
Las soluciones de un sistema autónomo reciben un nombre especial.
Definición: Las variables dependientes y , que son solución de un sistema autónomo plano (), se llaman variables de estado del sistema.
En la entrada anterior ya trabajamos con el plano fase, definámoslo formalmente.
Definición: El plano formado por los pares de valores se llama plano fase.
Definición: Una curva Label '12' multiply defined en el plano o plano fase está definida por el par de funciones y que son solución del sistema lineal ().
Cada punto de la curva determina el estado del sistema en un instante correspondiente a una condición inicial determinada.
Definición: Al conjunto de curvas en el plano fase se les llama trayectorias u órbitas.
En la entrada anterior vimos que en cada punto de una curva solución, el vector
es un vector tangente a dicha curva en cada punto . El conjunto de vectores tangentes recibe un nombre.
Definición: Al conjunto de vectores tangentes a las trayectorias se le denomina campo de direcciones o campo vectorial del sistema.
Con estas definiciones podemos decir que el plano fase es una representación geométrica de todas las trayectorias de un sistema dinámico en el plano, donde cada curva representa una condición inicial diferente. Entendemos por sistema dinámico al sistema cuyo estado evoluciona con el tiempo.
Como ejemplo visualicemos el campo vectorial de dos sistemas de ecuaciones diferenciales sencillos usando la herramienta que ya conocemos.
Ejemplo: Visualizar el campo vectorial del sistema lineal
Solución: La función vectorial es
El campo vectorial en el plano fase se ilustra a continuación.
Campo vectorial .
Los vectores del campo vectorial siempre señalan directamente alejándose del origen.
Ejemplo: Visualizar el campo vectorial del sistema lineal
Solución: La función vectorial es
El campo vectorial se ilustra a continuación.
Campo vectorial .
En este caso los vectores del campo vectorial apuntan directamente hacia el origen.
Como el campo vectorial es tangente a las soluciones del sistema, entonces en los dos ejemplos anteriores deducimos que las soluciones son rectas con distintas pendientes para cada solución particular.
En la herramienta que utilizamos se puede dar clic sobre el campo vectorial para trazar distintas soluciones. Inténtalo con los ejemplos anteriores.
Puntos de equilibrio
Por sí solo el campo vectorial de un sistema ya nos da información sobre el comportamiento que presentan las trayectorias sin siquiera conocer explícitamente las soluciones del sistema, sin embargo en cada plano fase existe al menos un punto particular sobre el cual dependerá casi por completo el comportamiento de las soluciones, dichos puntos se conocen como puntos de equilibrio.
Una solución constante
Label '13' multiply defined
para todo define únicamente un punto en el plano fase y verifica que
Label '14' multiply defined
es decir,
Label '15' multiply defined
Definición: El punto tal que, se dice que es un punto crítico o punto de equilibrio del sistema.
Como ejemplo determinemos los puntos de equilibrio de dos sistemas de ecuaciones diferenciales.
Ejemplo: Hallar los puntos de equilibrio del siguiente sistema de ecuaciones diferenciales y visualizar que ocurre alrededor de ellos.
Solución: La función vectorial es
Los puntos de equilibrio son tales que
es decir, tales que
El sistema de ecuaciones que se forma es
Los puntos que verifican el sistema son
Hemos encontrado dos puntos de equilibrio. Veamos cómo se ve el campo vectorial del sistema y que forma tienen las soluciones alrededor de estos puntos.
Plano fase: Campo vectorial, puntos de equilibrio y trayectorias del sistema.
Recordemos que la dirección de las trayectorias está definida por la dirección del campo vectorial. En el plano fase observamos que alrededor del punto de equilibrio las soluciones son trayectorias cerradas que giran en torno a dicho punto, mientras que alrededor del punto de equilibrio las trayectorias tienden a acercarse a dicho punto, pero cuando se aproximan a él inmediatamente se alejan.
Más adelante caracterizaremos a los puntos de equilibrio de acuerdo al tipo de comportamiento que tienen las trayectorias alrededor de él. Por ahora notemos estas características. Veamos un ejemplo más.
Ejemplo: Hallar los puntos de equilibrio del siguiente sistema de ecuaciones diferenciales y visualizar que ocurre alrededor de ellos.
Solución: La función vectorial es
Si
entonces,
El sistema de ecuaciones que se obtiene es
De la segunda ecuación obtenemos inmediatamente que y de la primer ecuación obtenemos que . Por lo tanto, los puntos de equilibrio son
Veamos cómo se ve el plano fase.
Plano fase: Campo vectorial, puntos de equilibrio y trayectorias del sistema.
En esta ocasión observamos que las trayectorias tienden hacía el punto de equilibrio , mientras que alrededor del punto de equilibrio las trayectorias tienden a alejarse de él.
Con estos dos ejemplos observamos tres cualidades de las trayectorias alrededor de los puntos de equilibrio. El primero de ellos es que hay trayectorias cerradas que permanecen cerca de un punto de equilibrio, pero que nunca llegan a él, por otro lado, hay trayectorias que tienden directamente hacía a un punto de equilibrio y finalmente hay puntos de equilibrio en los que las trayectorias tienden a alejarse de él. A esto se le conoce como estabilidad de los puntos de equilibrio y lo estudiaremos más adelante en esta entrada.
Un hecho importante es que los sistemas de los dos ejemplos anteriores son sistemas no lineales y ya comenzamos a caracterizar y visualizar el comportamiento de las soluciones a pesar de no conocer ningún método para obtener las soluciones explícitamente, de ahí la importancia de este análisis cualitativo.
Cabe mencionar que resolver sistemas no lineales puede ser muy complejo, al menos para un primer curso de ecuaciones diferenciales, es por ello que dedicamos la unidad anterior al caso exclusivamente lineal.
Por otro lado, es claro que cada punto del plano fase, o bien es un punto de equilibrio, o bien pasa por él una única trayectoria. Existe un resultado importante que nos permite saber cuando el único punto de equilibrio de un sistema lineal es el origen.
Teorema: Si es una matriz con determinante distinto de cero , entonces el único punto de equilibrio para el sistema lineal es el origen.
Demostración: Consideremos el sistema lineal cuya matriz de coeficientes es (), entonces podemos escribir al sistema lineal como
Sabemos que un punto es un punto de equilibrio del sistema si el campo vectorial en es cero, es decir, si
Sabemos, por otro lado, que el sistema lineal también se puede escribir en términos de la función vectorial como
Entonces es un punto de equilibrio si ocurre que
Label '16' multiply defined
es decir, debe ocurrir que
Label '17' multiply defined
El par de ecuaciones que se tiene es
Label '18' multiply defined
Es claro que es una solución de las ecuaciones (). Por tanto, es un punto de equilibrio y la función constante
Label '19' multiply defined
para toda es una solución del sistema lineal. Ahora veamos si existe otra solución que no sea la trivial.
Cualesquiera puntos de equilibrio deben también satisfacer el sistema (). Para encontrarlos supongamos por ahora que , de la primer ecuación se obtiene que
Label '20' multiply defined
Sustituyendo en la segunda ecuación, se tiene
que puede escribirse como
Label '21' multiply defined
Entonces,
Si , entonces y de nuevo obtenemos la solución trivial. Por tanto, un sistema lineal tiene puntos de equilibrio no triviales sólo si
es decir si el determinante de es igual a cero. Esto significa que si , entonces el único punto de equilibrio del sistema lineal es el origen.
Una observación importante en la demostración es que el cálculo que hicimos no depende de los valores de los coeficientes y , sólo de la condición , por tanto ¡todo sistema lineal tiene un punto de equilibrio en el origen!.
Estabilidad de puntos de equilibrio
Veíamos que hay tres cualidades de las trayectorias alrededor de puntos de equilibrio. De acuerdo al comportamiento que tengan las trayectorias alrededor de los puntos de equilibrio éstos recibirán un nombre.
Definición: Dado un sistema autónomo, el punto es un punto de equilibrio estable si , , tal que si es una solución del sistema y Label '22' multiply defined entonces, Label '23' multiply defined
Lo que esta definición nos dice es que si una trayectoria está cerca del punto de equilibrio , entonces se mantendrá cerca de él para .
Definición: Dado un sistema autónomo, el punto es un punto de equilibrio asintóticamente estable si , tal que entonces, cuando , se tiene que
Es este caso las trayectorias cercanas al punto de equilibrio no sólo se mantendrán cerca de dicho punto, sino que tenderán a él para .
Definición: Dado un sistema autónomo, el punto es un punto de equilibrio inestable si no es un punto de equilibrio estable.
Contrario a un punto de equilibrio estable, si las trayectorias están cerca del punto de equilibrio , entonces se alejarán de él para .
Las definiciones anteriores son aplicables a cualquier punto de equilibrio , sin embargo las definiciones se vuelven más intuitivas si el punto de equilibrio sobre el que se trabaja es el origen del plano o plano fase.
Supongamos que el punto de equilibrio del sistema () es el origen y que está aislado, esto es que existe un entorno donde no hay otro punto de equilibrio. Notemos que el hecho de que el punto de equilibrio sea el origen no supone ningún tipo de restricción ya que se puede hacer el cambio de variable
Label '24' multiply defined
y transformar al sistema () en
Label '25' multiply defined
cuyo punto de equilibrio es el punto . En estas condiciones definimos de manera más intuitiva la estabilidad de un punto de equilibrio.
Definición: Se dice que el punto de equilibrio del sistema () es estable si para todo número existe algún , , tal que cada trayectoria que está dentro del circulo en algún momento permanezca dentro del circulo para todos los .
Definición: Se dice que el punto de equilibrio del sistema () es asintóticamente estable cuando es estable y existe algún número , tal que toda trayectoria que está dentro del circulo en algún momento , se aproxime al origen cuando .
Definición: Se dice que el punto de equilibrio del sistema () es inestable cuando no es estable.
Realicemos algunos ejemplos de manera gráfica.
Ejemplo: Definir el tipo de punto de equilibrio del siguiente sistema visualizando el comportamiento de las trayectorias alrededor de dicho punto.
Solución: Es claro que el punto de equilibrio es el origen ya que si y , entonces
El campo vectorial y algunas trayectorias del sistema se muestran a continuación.
Plano fase del sistema.
Observamos que las trayectorias son cerradas, lo que significa que todas las que están cerca del punto de equilibrio permanecerán cerca de él, pero nunca llegarán a él conforme . De acuerdo a las definiciones anteriores, el punto de equilibrio corresponde a un punto estable. Veremos más adelante que este tipo de trayectorias corresponden a soluciones periódicas.
Ejemplo: Definir el tipo de punto de equilibrio del siguiente sistema visualizando el comportamiento de las trayectorias alrededor de dicho punto.
Solución: Como el sistema es lineal podemos aplicar el teorema visto para verificar que el único punto de equilibrio del sistemas es el origen. La matriz de coeficientes es
Calculemos el determinante.
Como , entonces el único punto de equilibrio es el origen.
El plano fase del sistema se ilustra a continuación.
Plano fase del sistema.
Es este caso se logra observar que las trayectorias cerca del punto de equilibrio tienden a él conforme , lo que lo define como un punto de equilibrio asintóticamente estable.
Veamos un último ejemplo.
Ejemplo: Definir el tipo de punto de equilibrio del siguiente sistema visualizando el comportamiento de las trayectorias alrededor de dicho punto.
Solución: Nuevamente se puede verificar que el único punto de equilibrio del sistema es el origen. Observemos el plano fase.
Plano fase del sistema.
En este caso se observa que cerca del punto de equilibrio las trayectorias se alejan de él, por lo que dicho punto es un punto inestable.
Al menos geométricamente ya somos capaces de identificar el tipo de comportamiento que tienen las trayectorias alrededor de los puntos de equilibrio según su clasificación.
Más adelante resolveremos algunos sistemas lineales y haremos este mismo análisis desde una perspectiva analítica analizando las soluciones que obtengamos. Más aún, veremos que de acuerdo al valor de los eigenvalores del sistema será el tipo de punto de equilibrio que tendrá dicho sistema. Pero antes de ello, en la siguiente entrada estudiemos algunas propiedades cualitativas de las trayectorias.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
Visualizar el campo vectorial y algunas trayectorias de los siguientes sistemas. ¿Tienen puntos de equilibrio?.
Determinar los puntos de equilibrio de los siguientes sistemas y clasificarlos como estables, asintóticamente estables o inestables. Visualizar el campo vectorial y algunas trayectorias.
Analizar el comportamiento de las curvas solución del siguiente sistema.
¿Qué se puede observar?. ¿Hay puntos de equilibrio?.
Más adelante…
Conforme avanzamos nos damos cuenta que es posible describir cualitativamente las soluciones de un sistema tanto lineal como no lineal compuesto por dos ecuaciones diferenciales de primer orden homogéneas con coeficientes contantes, esto tiene la enorme ventaja de que ya no es necesario conocer explícitamente las soluciones del sistema para poder trabajar.
Continuando con nuestro desarrollo cualitativo, en la siguiente entrada estudiaremos algunas propiedades de las trayectorias en el plano fase.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»
No hay rama de la matemática, por lo abstracta que sea, que no pueda aplicarse algún día a los fenómenos del mundo real. – Lobachevski
Introducción
¡Bienvenidos a la cuarta y última unidad del curso de Ecuaciones Diferenciales I!.
En esta unidad estudiaremos a las ecuaciones diferenciales ordinarias desde una perspectiva cualitativa y geométrica. En particular, estudiaremos las propiedades cualitativas de los sistemas de ecuaciones diferenciales de primer orden que vimos en la unidad anterior y, como sabemos, las ecuaciones de orden superior se pueden reducir a sistemas de ecuaciones de primer orden, lo que significa que en nuestro estudio también estaremos revisando las propiedades cualitativas de algunas de las ecuaciones vistas en la unidad 2.
La teoría cualitativa ya no es nueva para nosotros, pues en la primera unidad estudiamos desde esta perspectiva a las ecuaciones de primer orden. Recordemos que una ecuación diferencial de primer orden se puede ver, en su forma normal, como
Label '1' multiply defined
Y una ecuación diferencial autónoma como
Label '2' multiply defined
En esta última ecuación la variable independiente no aparece explícitamente.
Sobre la ecuación () definimos los conceptos de elementos lineales, campo de pendientes, curvas integrales e isóclinas y sobre la ecuación () definimos conceptos como puntos de equilibrio o puntos críticos, esquema de fases, líneas de fase, así como atractores, repulsores y nodos. Muchos de estos conceptos los generalizaremos a los sistemas lineales, además de algunos otros conceptos nuevos que definiremos.
En esta entrada daremos una introducción intuitiva al análisis cualitativo y geométrico de los sistemas lineales y a partir de la siguiente entrada comenzaremos a formalizar la teoría.
Sistemas lineales
Recordemos que un sistema de ecuaciones diferenciales de primer orden es de la forma
Label '3' multiply defined
En forma vectorial se puede escribir como
Label '4' multiply defined
Si el sistema es lineal, entonces se puede escribir, en su forma normal, como
Label '5' multiply defined
En esta unidad estudiaremos a detalle la propiedades cualitativas de los sistemas lineales compuestos por dos ecuaciones diferenciales de primer orden homogéneas con coeficientes constantes por muchas razones, las cuales comentaremos al final de la entrada. Dicho sistema lo podemos escribir de la siguiente forma.
Label '6' multiply defined
En donde y son constantes. Si definimos
entonces el sistema () se puede escribir como
Label '7' multiply defined
Esta es la forma común con la que estuvimos trabajando en la unidad anterior. Si ahora definimos las funciones
Label '8' multiply defined
y definimos el vector compuesto por estas funciones
Label '9' multiply defined
entonces podemos escribir al sistema () como
Label '10' multiply defined
De () y (), se obtiene que
Label '11' multiply defined
Esta es una nueva forma de ver un sistema lineal, sin embargo nuestro interés está en hacer un análisis cualitativo y geométrico, así que es conveniente ver a la ecuación () como una función de varias variables definida en un dominio .
Observemos que el sistema lineal () no depende explícitamente de la variable , por lo que podemos escribir
Label '12' multiply defined
Y ahora podemos escribir
Label '13' multiply defined
Es claro que y , es decir las funciones y son funciones de dos variables cuyo dominio está formado por puntos con coordenadas y la función asocia a cada punto un número real determinado. La gráfica de estas funciones está en . Ahora bien, se puede definir la función
Label '14' multiply defined
En este caso , así que ya no podemos visualizar su gráfica, sin embargo existe una técnica en la que en un mismo plano a cada elemento lo dibujamos como un punto y a como un vector colocado sobre ese punto . Por ejemplo, la función
se puede visualizar como
Bosquejo de la función .
Este tipo de bosquejos es lo que conocemos como campos vectoriales.
Finalmente consideremos las soluciones del sistema lineal (). En este caso lo que obtendremos al resolver el sistema serán dos funciones y definidas como y . Lo que deseamos es graficar de alguna manera estas dos funciones en el mismo plano en el que se bosqueja el campo vectorial , para hacerlo definimos la función
Label '15' multiply defined
Vemos que , es decir, dado un valor para las soluciones y toman un valor particular que sirven como entrada de la función y ésta devuelve un sólo valor.
Para tener una visualización de consideremos como ejemplo la función
con , es decir,
Consideremos algunos valores particulares
.
.
.
.
Para visualizar estos datos lo que vamos a hacer es dibujar vectores que parten del origen hacía las coordenadas obtenidas, tal como se muestra en la siguiente figura.
Vectores correspondientes a para .
será la curva que trazará la punta del vector a medida que tiene distintos valores. Siguiendo con el mismo ejemplo para , la curva que traza se ve de la siguiente forma.
Curva de la función para .
Observemos que no es más que la parametrización de la parábola en el intervalo . Es por ello que diremos que es una función paramétrica.
Recordemos que un sistema de ecuaciones paramétricas permite representar una curva o superficie en el plano o en el espacio mediante una variable llamada parámetro que recorre un intervalo de números reales, considerando cada coordenada de un punto como una función dependiente del parámetro.
Concluiremos esta entrada con un ejemplo para visualizar cómo es que esta nueva forma de ver el problema de resolver un sistema lineal nos ayudará a obtener información cualitativa del mismo.
Análisis cualitativo y geométrico
Ejemplo: Hacer un análisis cualitativo y geométrico del siguiente sistema lineal homogéneo.
Label '16' multiply defined
Solución: Primero resolvamos el sistema de forma tradicional, es decir, analíticamente.
La matriz de coeficientes es
Label '17' multiply defined
Los valores propios se obtienen de resolver la siguiente ecuación característica.
Resolviendo se obtiene que los valores propios son
Determinemos los vectores propios.
Para , debemos resolver
El sistema de ecuaciones que se obtiene es
De donde . Si elegimos , se obtiene y entonces el primer vector propio es
Para , debemos resolver
El sistema de ecuaciones que se obtiene es
Se ve que , así si , entonces y por tanto el segundo vector propio es
Las soluciones linealmente independientes son
Label '18' multiply defined
Y por lo tanto, la solución general del sistema lineal es
Label '19' multiply defined
Si dejamos de usar la notación matricial podemos escribir a las soluciones como
Label '20' multiply defined
Hasta aquí es hasta donde hemos llegado con lo visto en la unidad anterior, ahora veamos el comportamiento de estas soluciones geométricamente.
Obtuvimos dos funciones, cada una de ellas depende de la variable de forma que la primer función la podemos graficar en el plano , mientras que la segunda en el plano .
La gráfica de para se ve de la siguiente forma.
Función en el plano .
Por otro lado, la gráfica de para se ve de la siguiente forma.
Función en el plano .
De acuerdo a (), la función paramétrica es
Label '21' multiply defined
Para el caso particular en el que la función paramétrica es
Label '22' multiply defined
Grafiquemos en el plano la trayectoria de esta función.
Trayectoria en el plano o plano fase.
Como ejemplo, si , entonces y , tal coordenada corresponde al punto mostrado en el plano , así la trayectoria se forma por el conjunto de puntos correspondientes a cada valor .
Las tres gráficas anteriores corresponden a la solución particular en la que , así cada solución particular producirá tres curvas distintas en tres planos distintos.
Nos centraremos especialmente en el plano o también llamado plano fase. Cada una de las curvas que se pueden formar en el plano fase correspondientes a valores específicos de y se llama trayectoria.
En el siguiente plano fase se muestra un conjunto de trayectorias definidas por () para distintos valores de y .
Distintas trayectorias en el plano fase.
Al conjunto de trayectorias representativas en el plano fase se llama diagrama fase.
Consideremos las soluciones independientes ().
Y notemos lo siguiente.
De se obtienen las funciones
Label '23' multiply defined
De manera que la función se puede escribir en términos de como
con y cuya gráfica en el plano corresponde a una recta en el primer cuadrante con pendiente .
Gráfica de para .
De forma similar, si consideramos la solución se obtienen las funciones
Label '24' multiply defined
De forma que en términos de se ve como
Para en el plano tendremos una recta en el segundo cuadrante con pendiente .
Gráfica de para .
Consideremos ahora la solución cuyas funciones son
Label '25' multiply defined
En este caso,
con , la gráfica corresponde a una recta de pendiente en el tercer cuadrante.
Gráfica de para .
Y finalmente de se obtienen las funciones
Label '26' multiply defined
tal que,
con y cuya gráfica es una recta de pendiente en el cuarto cuadrante.
Gráfica de para .
Lo interesante es que cada vector propio se puede visualizar como un vector bidimensional que se encuentra a lo largo de una de estas semirrectas.
Por ejemplo el vector propio
corresponde al siguiente vector en el plano .
Vector propio en el plano .
Mientras que el vector propio
corresponde al vector
Vector propio en el plano .
A continuación se muestran las cuatro semirrectas anteriores y los vectores propios unitarios
sobre el mismo plano fase de antes.
Plano fase ilustrando los vectores propios.
El vector propio se encuentra junto con en el primer cuadrante y se encuentra junto con en el segundo cuadrante.
Notamos que en el plano fase las trayectorias tienen flechas que indican dirección. Para saber la dirección de las trayectorias nos apoyaremos en el campo vectorial asociado.
Definamos las funciones y de acuerdo a ().
Entonces la función correspondiente es
El campo vectorial será descrito por esta función. Como vimos al inicio de la entrada, para cada punto del plano fase anclaremos un vector cuya punta termina en la coordenada dada por la suma vectorial . Por ejemplo si y , entonces nos situaremos en la coordenada del plano fase, evaluando en la función se obtiene el punto , entonces la punta del vector que parte de terminará en la coordenada .
Como ejemplo dibujemos los vectores correspondientes a las siguientes evaluaciones.
Bosquejo de vectores dados por .
Como se puede notar, si dibujáramos todos los vectores para cada punto tendríamos un desastre de vectores, todos de distintos tamaños atravesándose entre sí y no habría forma de observar el patrón que esconde el campo vectorial. Para solucionar este problema existe la convención de escalar todos los vectores a un mismo tamaño, por su puesto esto ya no representa correctamente al campo vectorial, pero sí que es de mucha ayuda visualmente y se convierte en sólo una representación del campo vectorial.
En nuestro ejemplo la función
se representa por el siguiente campo vectorial.
Representación del campo vectorial generado por .
Cómo , entonces los vectores del campo vectorial deben ser tangentes a las trayectorias formadas por la función paramétrica . Concluimos entonces que las soluciones del sistema lineal serán trayectorias cuyos vectores del campo vectorial son tangentes a dichas trayectorias.
Campo vectorial y algunas trayectorias del sistema lineal.
Una característica observable del campo vectorial es que los vectores tienden a alejarse del origen, veremos más adelante que el origen no sólo es una solución constante , (solución trivial) de todo sistema lineal homogéneo de ecuaciones lineales, sino que también es un punto importante en el estudio cualitativo de dichos sistemas.
Si pensamos en términos físicos, las puntas de flecha de cada trayectoria en el tiempo se mueven conforme aumenta el tiempo. Si imaginamos que el tiempo va de a , entonces examinando la solución
muestra que una trayectoria o partícula en movimiento comienza asintótica a una de las semirrectas definidas por o (ya que es despreciable para ) y termina asintótica a una de las semirrectas definidas por o (ya que es despreciable para ).
El plano fase obtenido representa un diagrama de fase que es característico de todos los sistemas lineales homogéneos de con valores propios reales de signos opuestos.
Hemos concluido con el ejemplo. Lo que nos muestra este ejemplo es que es posible hacer un desarrollo geométrico sobre un sistema lineal, sin embargo esto sólo es posible si es un sistema con dos ecuaciones, ya que si aumenta el número de ecuaciones también aumentará el número de dimensiones y ya no seremos capaz de obtener gráficas. Es posible extender el plano fase a tres dimensiones (espacio fase para un sistema lineal con ecuaciones), pero nos limitaremos sólo a los sistemas de ecuaciones para hacer más sencilla la tarea. También es importante mencionar que podremos hacer este análisis siempre y cuando los coeficientes sean constantes y las ecuaciones no dependan explícitamente de la variable independiente .
Con este método geométrico será posible estudiar el comportamiento de las soluciones sin la necesidad de resolver el sistema, incluso con este método podremos estudiar sistemas no lineales para los cuales aún no conocemos algún método para resolverlos.
Finalmente veremos que las propiedades del plano fase quedarán determinadas por los valores propios del sistema, de manera que en las siguientes entradas haremos un análisis para cada una de las posibilidades que existen, tales posibilidades son:
Valores propios reales y distintos:
.
.
y (como en nuestro ejemplo).
Valores propios complejos:
y con .
y con .
y con .
Valores propios repetidos:
.
.
Valores propios nulos:
y .
y .
.
En las próximas entradas estudiaremos a detalle cada uno de estos casos.
En este enlace se tiene acceso a una excelente herramienta para visualizar el plano fase de sistemas lineales de dos ecuaciones homogéneas con coeficientes constantes y en este enlace se puede visualizar el campo vectorial asociado, además de algunas trayectorias del sistema dando clic sobre el campo vectorial.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
En la unidad anterior resolviste de tarea moral los siguientes sistemas lineales. En este caso realiza un desarrollo geométrico como lo hicimos en esta entrada e intenta describir el comportamiento de las soluciones en el plano fase. Dibuja a mano algunos vectores del campo vectorial y algunas trayectorias sobre el mismo plano fase, posteriormente verifica tu resultado visualizando el espacio fase y el campo vectorial usando los enlaces proporcionados anteriormente.
¿Qué características distintas identificas entre los planos fase de cada uno de los sistemas anteriores?.
Más adelante…
Esta entrada nos ha servido de introducción al estudio geométrico y cualitativo de los sistemas lineales. En la siguiente entrada formalizaremos lo que vimos en esta entrada para posteriormente hacer un análisis más detallado sobre los distintos tipos de sistemas tanto lineales como no lineales que se puedan presentar.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»
En esta entrada veremos otras de las propiedades del producto cartesiano. Estas propiedades hacen referencia al comportamiento del producto cartesiano con respecto a las operaciones que definimos antes: unión, intersección, diferencia y diferencia simétrica.
Producto cartesiano y unión
Las siguientes dos proposiciones verifican que el producto cartesiano se distribuye sobre la unión.
Proposición. Para conjuntos se cumple que .
Demostración.
Se tiene que si y sólo si y si y sólo si o y si y sólo si y o y si y sólo si o si y sólo si .
Proposición. Para conjuntos se cumple que .
Demostración.
Se tiene que si y sólo si y si y sólo si y o si y sólo si y o y si y sólo si o si y sólo si .
Proposición. Para cualesquiera conjuntos no vacíos ocurre que .
Demostración.
Sean conjuntos no vacíos. Tomemos arbitrario, entonces o .
Si , entonces y . Luego, como y se sigue que y . Así, .
Si , entonces y . Luego, como y se sigue que y . Así, .
Producto cartesiano e intersección
Con la siguientes dos demostraciones podremos ver que el producto cartesiano se distribuye sobre la intersección.
Proposición. Para conjuntos se cumple que .
Demostración.
Se tiene que si y sólo si y si y sólo si y y si y sólo si y y y si y sólo si y si y sólo si .
Proposición. Para conjuntos se cumple que .
Demostración.
Se tiene que si y sólo si y si y sólo si y y si y sólo si y y y si y sólo si y si y sólo si .
Proposición. Para cualesquiera conjuntos no vacíos ocurre que .
Demostración.
Sean conjuntos no vacíos. Tenemos que: si y sólo si y si y sólo si y y y si y sólo si y y y si y sólo si y si y sólo si .
Producto cartesiano y diferencia
Con los siguientes resultados probamos que el producto cartesiano se distribuye sobre la diferencia.
Proposición. Sean conjuntos no vacíos. Se tiene que .
Demostración.
Se tiene que si y sólo si y si y sólo si y ( y ) si y sólo si y y y si y sólo si y si y sólo si .
Proposición. Para conjuntos se cumple que .
Demostración.
Se tiene que si y sólo si y si y sólo si y y si y sólo si y y y si y sólo si y si y sólo si .
Producto cartesiano y diferencia simétrica
La siguiente proposición demuestra que el producto cartesiano distribuye a la diferencia simétrica. Como ya demostramos propiedades de cómo interactúa el producto cartesiano con la unión, intersección y diferencia, podremos dar una demostración muy breve usando álgebra de conjuntos.
Proposición. Sean conjuntos. Se tiene que .
Demostración. Procedemos por álgebra de conjuntos:
Tarea moral
Los siguientes ejercicios te permitirán aprender otras propiedades del producto cartesiano:
Muestra que no siempre se da la igualdad .
Demuestra que .
Muestra que .
Demuestra que .
Más adelante…
En la siguiente entrada definiremos qué es una relación. Para ello utilizaremos el concepto de producto cartesiano y pareja ordenada. Resultará que una relación es un subconjunto de un producto cartesiano, por lo que es importante que comprendas bien el concepto de producto cartesiano que hemos visto en las últimas dos entradas.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»