Demostración por contradicción - [Detalles]
Explicamos el método de demostración por contradicción y vemos algunos ejemplos.
Demostración por contradicción 2 - [Detalles]
Ejemplos ilustrativos del método de demostración por contradicción
Ejemplo Demostración por contradicción - [Detalles]
Damos un ejemplo de cómo aplicar la demostración por contradicción, la proposición a demostrar incluye al cuantificador existe
Diapositivas sobre demostraciones por contradicción - [Detalles]
Mostramos la importancia para hacer demostración por contradicción, lo que se requiere para hacer válida este tipo de demostración matemática, explicando la lógica acompañada. La explicación va acompañada de un par de ejemplos.
Demostraciones por reducción al absurdo - [Detalles]
Revisaremos la estrategia de reducción al absurdo o demostración por contradicción. Revisamos algunos ejemplos y su significado.
Demostración por casos - [Detalles]
Explicamos el método y reglas para realizar una demostración por casos. También se dan recomendaciones para saber cuándo aplicar la demostración por casos.
Diapositivas sobre demostraciones de conjuntos - [Detalles]
Se muestran las diferentes maneras por las cuales se demuestran proposiciones de conjuntos como la demostración de una contención; la igualdad de conjuntos por doble contención, por si y solo si; demostración por casos la cual es ocupada para demostrar propiedades de conjuntos en donde está involucrada la operación unión.
Reglas para escribir una demostración - [Detalles]
Platicamos en que consiste una demostración, y además damos cuatro reglas a seguir para conseguir una demostración coherente y exitosa. Una demostración es una justificación de la veracidad de un teorema.
Teorema de la derivada y la multiplicidad. Demostración - [Detalles]
Damos la demostración del teorema de la derivada y la multiplicidad, el cual vimos en el video anterior. La demostración es relativamente sencilla teniendo en cuenta que sí "a" es de multiplicidad "m" en un polinomio entonces el polinomio es de la forma "(x-a)^m*Q(x)", por lo que podemos obtener su derivada de forma explícita, y demostrar que "a" es raíz de multiplicidad "m-1".
Tipos de enunciados - [Detalles]
Definición de enunciados como axiomas, teoremas y sus clasificaciones. También se definen formas proposicionales como la tautología y la contradicción.
Cuando tiene solucion una congruencia lineal - [Detalles]
Vemos un ejemplo de una ecuación lineal modulo 4 que no puede tener soluciones enteras (mostramos que si tuviera solución llegamos a una contradicción), esto nos lleva a dar una proposición para saber cuándo una ecuación lineal tiene una solución y una segunda proposición, con la cual podemos saber cuándo una ecuación lineal tiene o no solución.
Conjuntos y Lógica - [Detalles]
En este capitulo de Cimientos Matemáticos veremos que los conjuntos son agrupaciones de elementos únicos, además de nociones esenciales como el conjunto sin elementos, la cantidad de miembros en un conjunto, y la idea de conjuntos dentro de conjuntos. En cuanto a lógica, las nociones de consecuencia lógica y contradicción juegan roles primordiales en determinar la verdad de las afirmaciones.
Demostración por casos - [Detalles]
Explicamos como realizar una demostración por casos y las reglas que se deben seguir, damos ejemplos con números enteros.
Demostración por contrapositiva 2 - [Detalles]
Ejemplos ilustrativos del método de demostración por contrapositiva.
Diapositivas sobre demostraciones por contrapositiva - [Detalles]
Mostramos la importancia para hacer demostración por contrapositia, lo que se requiere para hacer válida este tipo de demostración matemática, la explicación va acompañada de un ejemplo.
Demostración directa y primeros ejemplos - [Detalles]
Explicamos sobre el método de demostración conocido como "Demostración directa". Demostramos un teorema sobre los números pares e impares.
Diapositivas sobre cómo escribir una demostración por casos - [Detalles]
Mostramos la importancia y los motivos para poder ocupar este tipo de demostraciones por casos.
¿Qué es una demostración? - [Detalles]
Platicamos sobre las demostraciones, en qué consisten y que herramientas nos pueden ayudar para hacer una demostración. Las matemáticas universales y para siempre.
Como demostrar una implicación. Demostración directa - [Detalles]
Platicamos las características de la demostración directa y damos un ejemplo con una proposición sobre los números enteros múltiplos de 6.
Teorema de existencia y unicidad. Demostración de la unicidad - [Detalles]
Demostramos la parte de unicidad del Teorema de Existencia y Unicidad de Picard, y previamente probamos dos lemas que nos ayudan a la demostración
Demostración del Teorema de Existencia y Unicidad de Picard-Lindelof - [Detalles]
Presentación de la demostración del teorema de existencia y unicidad para ecuaciones diferenciales de primer orden
Diapositivas sobre cómo escribir una demostración directa - [Detalles]
Explicamos las características de hacer una demostración directa de p implica q acompañada de una serie de ejemplos báscios respecto a este tipo de demostraciones.
Demostración del teorema fundamental del álgebra usando el grupo fundamental del círculo - [Detalles]
En este video damos una demostración hermosa del teorema fundamental del álgebra usando e hecho de que el grupo fundamental del círculo es cíclico infinito.
Lema de Burnside: demostración alternativa - [Detalles]
Se enuncia y demuestra el Lema de Burnside (una demostración alternativa de otra que se dio en otro video que no aparece en el sitio).
Demostración del teorema de Cayley-Hamilton - [Detalles]
En esta entrada demostraremos el teorema de Cayley-Hamilton. Daremos dos demostraciones de sabores muy diferentes. La primera demostración explota las propiedades de la matriz adjunta, mientras que la segunda echa mano de las familias especiales de las cuales calculamos el polinomio característico.
Demostración de condicionales y dobles condicionales - [Detalles]
En esta entrada vemos ejemplos de demostraciones con doble implicación, algunas convenciones de su redacción y técnicas de demostración.
Ecuaciones lineales no homogéneas de primer orden. Solución por variación de parámetros (Ejemplos) - [Detalles]
Resolvemos dos ecuaciones por el método de variación de parámetros, una de ellas la resolvimos por el método de factor integrante en un video anterior, esto para comprobar que los dos métodos llevan a la misma solución.
Integración por partes - [Detalles]
Enseñanza a la integración por el metodo de integrales por partes.
Nota 26. Propiedades de $\mathbb{R}^n$ - [Detalles]
En la siguiente nota veremos algunas propiedades de $\mathbb{R}^n$. Probaremos la unicidad del neutro aditivo, así como la unicidad de los inversos aditivos, veremos que las propiedades de cancelación de la suma también se cumplen, se demostrará que la multiplicación del neutro aditivo de $\mathbb{R}$ por cualquier vector de $\mathbb{R}^n$ nos da el neutro aditivo del espacio vectorial, y que la multiplicación de cualquier escalar por el neutro aditivo de $\mathbb{R}^n$, es el mismo neutro aditivo. Finalizaremos viendo que el inverso aditivo de un vector $v$, denotado por $\tilde{v}$ es de hecho $(-1)v$.
Funciones definidas por casos - [Detalles]
En este video se comenta sobre las funciones de variable real que se definen por casos, en especial, las que se definen por tramos.
Demostración por contrapositiva - [Detalles]
Explicamos el método de demostrar una implicación usando su contrapositiva y vemos algunos ejemplos.
Inducción matemática (1) - [Detalles]
Definimos los conjuntos inductivos, y la relación que guarda con el Principio de Inducción Matemática (PIM). También hablamos de cómo usarlo para hacer una demostración por inducción.
Inducción matemática (1) - [Detalles]
Definimos los conjuntos inductivos, y la relación que guarda con el Principio de Inducción Matemática (PIM). También hablamos de cómo usarlo para hacer una demostración por inducción.
Diapositivas sobre el principio de inducción - [Detalles]
Se muestra el proceso para realizar una demostración por inducción matemática sobre el conjunto de los números naturales, se explica el paso basi y el paso inductivo (cómo se construye la hipótesis de inducción) y unos ejemplos de como realizar este tipo de demostraciones.
Álgebra de conjuntos - [Detalles]
En esta nueva entrada abordaremos a las operaciones entre conjuntos desde una perspectiva diferente: el álgebra. A traves de varios ejemplos veremos que existe otra forma de probar la igualdad entre conjuntos sin necesidad de usar la demostración por doble contención.
Ejercicio Funciones invertibles por un lado - [Detalles]
En este video, abordaremos un enigma matemático fundamental: Si \(f(g(x))\) es igual a la función identidad y \(g\) es inyectiva, ¿qué podemos deducir sobre \(f\)? A través de una demostración detallada y sistemática, revelaremos que \(f\) debe ser suprayectiva.
Ejercicio Subsucesiones convergentes de sucesión de Cauchy - [Detalles]
¿Puede una sucesión de Cauchy garantizar la existencia de una subsucesión convergente? En este video, abordaremos este enigma matemático con meticulosidad y rigor, llevándote a través de una demostración exhaustiva que desentrañará este misterio. Utilizando definiciones precisas, argumentos lógicos y visualizaciones intuitivas, te guiaremos por el camino que une a las sucesiones de Cauchy con la convergencia.
Determinantes de matrices $3 imes 3$: dos métodos diferentes - [Detalles]
Describimos dos métodos para calcular el determinante de la matriz de 3x3. El método por cofactores y otro método por la regla de Sarrus (el cual es un método para matrices de 3x3).
Divisibilidad: definición y primeros ejemplos - [Detalles]
Definimos que significa que un entero "b" sea divisible por "a" (donde "a" es distinto de cero). Damos la notación para simbolizar cuando pasa esto, y cuando no pasa (cuando "b" no es divisible por "a"). Mostramos algunos ejemplos y definimos cuando "a" es divisor de "b".
Operaciones con el número $i$ - [Detalles]
Definimos la suma de los términos que tienen al número i. Igualmente vemos cómo multiplicar números reales por términos que tengan el número i y por último vemos las potencias del número i.
Ecuaciones lineales no homogéneas de primer orden. Solución por factor integrante - [Detalles]
Resolvemos el caso general de una ecuación lineal no homogénea de primer orden, por el método de factor integrante.
Ecuaciones lineales no homogéneas de primer orden. Solución por factor integrante (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de ecuaciones lineales no homogéneas de primer orden, por el método de factor integrante.
Ecuaciones lineales no homogéneas de primer orden. Solución por variación de parámetros - [Detalles]
Resolvemos la ecuación diferencial lineal no homogénea por el método de variación de parámetros.
Ecuaciones lineales no homogéneas de segundo orden. Solución por variación de parámetros (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones de segundo orden por el método de variación de parámetros.
Soluciones por series de potencias cerca de un punto ordinario (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales de segundo orden con coeficientes variables por series de potencias.
Soluciones por series cerca de un punto singular regular (Parte 1) - [Detalles]
Damos las consideraciones generales que utilizaremos a lo largo del tema, definimos la ecuación indicial de la ecuación diferencial de segundo orden con coeficientes variables, y desarrollamos el método de Frobenius para el caso cuando la ecuación indicial tiene dos raíces distintas que no difieren por un entero
Soluciones por series cerca de un punto singular regular (Parte 3) - [Detalles]
Finalizamos el estudio al método de Frobenius revisando el caso cuando la ecuación indicial tiene dos raíces que difieren por un entero
Método de la transformada de Laplace. Problemas que involucran funciones continuas por pedazos - [Detalles]
Aplicamos el método de la transformada de Laplace para resolver problemas de condición inicial cuya ecuación diferencial involucra funciones continuas por pedazos, y resolvemos un ejemplo particular.
Integración de funciones racionales por fracciones parciales - [Detalles]
Enseñanza a las integrales con funciones racionales por el metodo de fracciones parciales.
Cálculo de volumenes por secciones transversales y por rotación alrededor de un eje - [Detalles]
Cálculo del volumen de un solido de revolución a traves del metodo de secciones transversales.
Cálculo de volúmenes por medio de casquillos cilindricos - [Detalles]
Cálculo del volumen de un solido de revolución por medio de casquillos cilindricos.
Diapositivas sobre demostraciones de bicondicionales - [Detalles]
Mostramos las opciones por las cuales podemos demostrar una proposición bicondicional y la explicación lógica del por qué es posible hacerlo, la explicación se acompaña de 2 ejemplos cada uno respecto a las maneras de demostrar una proposición bicondicional.
Cuestionario de simetrías - [Detalles]
Ponemos en práctica el tema de simetrías de figuras ya sea respecto a un punto, axial por uno de los ejes o por la recta identidad, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
Diapositivas sobre discriminante y excentricidad - [Detalles]
Como hemos estado estudiando en todo este tiempo y un objetivo central dentro de nuestro estudio es saber identificar a las cónicas con ver sus ecuaciones. Ahora presentamos 2 criterios los cuales de una manera analítica nos facilitarán resolver esta tarea: por discriminante es necesario que la ecuación esté en su forma general y también por excentricidad que e sun cociente entre 2 distancias.
Ángulos notables: ¿cuáles son? y ¿por qué son chidos? - [Detalles]
En este video hablamos sobre algunos ángulos que son bastante relevantes, explicamos como están relacionados ciertos triángulos, y por qué esto los hace importantes.
Multiplicación escalar por matriz - [Detalles]
Definimos y explicamos la multiplicación de un escalar por una matriz. Damos algunos ejemplos y los errores comunes que se pueden cometer.
Determinantes de matrices 3x3 Dos métodos Diferentes - [Detalles]
Describimos dos métodos para calcular el determinante de la matriz de 3x3. El método por cofactores y otro método por la regla de Sarrus (el cual es un método para matrices de 3x3).
Definimos los semiplanos, los cuales son regiones del plano cartesiano delimitados por una recta. Vemos su representación geométrica y como representarlos por desigualdad relacionada a la ecuación de la recta.
Damos una breve definición de los semiespacio, los cuales son regiones del espacio separadas por un plano. Los semiespacios están caracterizados por una desigualdad relacionada a la ecuación del plano que los separa.
Subgrupos normalmente generados - [Detalles]
En este video terminamos nuestro pequeño detour por la teoría de grupos. Definiremos el subgrupo normalmente generado por un subconjunto de un grupo G.
El homomorfismo inducido por un cubriente - [Detalles]
En este video demostramos que el homomorfismo inducido en grupos fundamentales por una proyección cubriente es inyectivo. Este resultado es una consecuencia del teorema de levantamiento de homotopías.
Subgrupo generado por un subconjunto - parte 1 - [Detalles]
Se define el concepto de subgrupo generado por un subconjunto de un grupo partiendo de que la intersección de subgrupos es un subgrupo.
Subgrupo generado por un subconjunto - parte 2 - [Detalles]
Se da una caracterización del subgrupo generado por un conjunto en términos de palabras.
20. Exponencial compleja - [Detalles]
Ahora vamos a definir unas cuantas de las funciones complejas mas importantes, empezando por la exponencial compleja. y que son mas ricas en propiedades y por lo tanto más interesantes para estudiar.
42. Series de Taylor y series de Laurent - [Detalles]
En esta última unidad, empezaremos por ver que toda función analítica puede ser representada por una serie de potencias bajo ciertas condiciones, esto es el teorema de Taylor, además veremos un tipo más de serie de potencias que es crucial para la representación de funciones analíticas.
Álgebra Moderna I: Subgrupos - [Detalles]
La proxima estructura que nos interesa estudiar es la de la subcoleccion H de un grupo G, por tanto necesitamos conocer que necesita H para que sea un grupo en si mismo. Así mismo, hay que estudiar propiedades que heredan estas subcolecciones y las caracterizaciones. Por ultimo siempre es bueno revisar que pasa cuando son finitos.
Los Elementos de Euclides: Teorema 41 - [Detalles]
En este video cubrimos el Teorema 41 de Los Elementos de Euclides. Aquí se demuestra que si un paralelogramo y un triángulo tienen la misma base y están entre las mismas paralelas, determinadas por la base del triángulo y la paralela que pasa por el vértice opuesto a la base, entonces el área del paralelogramo es el doble que el área del triángulo.
Clases de equivalencia y particiones - [Detalles]
Esta entrada estará dedicada a dos conjuntos nuevos a los que llamaremos clases de equivalencia y particiones. Dichos conjuntos nos permitirán por un lado agrupar a los elementos de un conjunto conforme estén relacionados con otros y así estudiar a un conjunto no solo como un total si no por partes.
Algoritmo de búsqueda por haz - [Detalles]
Se presenta el algoritmo de búsqueda por haz (Beam Search)
Muestreo por rechazo - [Detalles]
Se presenta el método de muestreo por rechazo para la inferencia en redes bayesianas.
Área de Figuras Irregulares - [Detalles]
En este video (basado en el libro de Tom Apostol) se comenta un ejemplo elocuente del cálculo del área de cierta figura geométrica irregular, considerando aproximaciones por defecto y por exceso. Este video será exhibido y comentado en la clase del lunes 20 de septiembre de 2021.
Funciones definidas por casos - [Detalles]
En este video comentaremos sobre el modo de definción de funciones por casos, en especial, las funciones que se definen en tramos.
Teorema de Pitágoras - [Detalles]
Bella demostración del teorema de Pitágoras. Se enuncia y se demuestra el teorema de Pitágoras
Demostración de un bicondicional - [Detalles]
Explicamos cómo demostrar un bicondicional, es decir, un sí y solo sí. Vemos dos posibles estrategias y algunos ejemplos.
Demostración de un cuantificador - [Detalles]
Explicamos cómo demostrar una proposición o enunciado que involucre cuantificadores. Veremos las estrategias principales y ejemplos que usen los cuantificadores existe, para todo y existe un único.
Como demostrar un bicondicional (si y sólo si) - [Detalles]
Damos reglas generales para demostrar una proposición con bicondicional (si y solo sí). Particularmente utilizamos una demostración de ida y otra de vuelta.
Demostración de que hay infinitos primos - [Detalles]
Explicamos cómo demostrar que hay una cantidad infinita de números primos. Para tal fin suponemos ciertos el teorema fundamentar de la aritmética.
Ejemplo de demostración de relación de equivalencia - [Detalles]
Damos un ejemplo de relación de equivalencia con elementos del plano cartesiano y demostramos que es una relación de equivalencia, es decir, cumple las 3 propiedades
Principio de inducción - [Detalles]
Describimos el método de demostración llamado: Principio de Inducción Matemática (PIM). Explicamos como podemos usar la inducción para demostrar que una propiedad "P(n)" se cumple para todos los naturales.
Inducción matemática (3) - [Detalles]
En este video demostramos la famosa Suma de Gauss, usamos inducción para demostrarla y damos otra demostración alternativa.
Damos una demostración alternativa del Teorema del Binomio. También explicamos la relación del binomio con la combinatoria y el triángulo de Pascal.
Principio de inducción - [Detalles]
Introducimos el principio de inducción matemática, el cual es un método de demostración para alguna propiedad o proposición P(n), es decir que la propiedad o proposición está relacionada a un número natural. Damos un ejemplo de cómo demostrar usando el principio de inducción, demostrando el caso base y luego el paso inductivo.
El algoritmo de Euclides: enunciado y demostración. - [Detalles]
Demostramos el algoritmo de Euclides, es un método o procedimiento que nos ayuda en la búsqueda del Máximo Común Divisor de dos números enteros. Vemos que hace uso del algoritmo de la división repetidamente y que hay una relación entre el residuo y el máximo común divisor.
El mínimo común múltiplo - [Detalles]
Definimos el mínimo común múltiplo de "n" enteros. Primero damos la definición de común múltiplo y el más pequeño es aquel que tomamos como mínimo común múltiplo. Definimos la notación para expresar el mínimo común múltiplo y demostración un teorema sobre el mismo.
Hay una cantidad infinita de números primos - [Detalles]
Para terminar esta sección demostramos un teorema de bastante relevancia, el cual nos dice que existe una cantidad infinita de numero primos. La demostración es sencilla y hacemos uso del teorema fundamental de la aritmética.
Teorema de existencia y unicidad. Ecuación integral asociada - [Detalles]
Damos los primeros detalles para la demostración del Teorema de existencia y unicidad de Picard. Encontramos una manera equivalente de resolver un problema de condición inicial, que es resolviendo una ecuación integral asociada.
Teorema de existencia y unicidad. Demostración de la existencia - [Detalles]
Demostramos la parte de existencia del Teorema de Existencia y Unicidad de Picard, en un intervalo que construimos previamente mediante un lema
Teorema del valor intermedio - [Detalles]
Demostración del teorema del valor intermedio
Teorema del máximo-mínimo - [Detalles]
Demostración del teorema del máximo-mínimo
Introducción al teorema de existencia y unicidad para sistemas de ecuaciones de primer orden - [Detalles]
Enunciamos el teorema de existencia y unicidad para sistemas de ecuaciones de primer orden y damos los primeros detalles para la demostración de dicho teorema.
Regla de la cadena - [Detalles]
Demostración de la derivada de composición de funciones y la regla de la cadena.
Reglas de derivación - [Detalles]
Resumen de las reglas de derivación y demostración de la derivada de funciones frecuentes.
Derivada de las funciones exponencial y logarítmica - [Detalles]
Demostración de la derivada de las funciones exponencial y logarímica.
Derivada de la función inversa - [Detalles]
Demostración y ejemplos de la derivada de la inversa de una función.
Derivada de las funciones trigonométricas - [Detalles]
Demostración y ejemplos de la derivada de las funciones trigonométricas y sus inversas.
Teorema de Rolle y teorema del valor medio - [Detalles]
Demostración del teorema de Rolle y del teorema del Valor Medio.
Secciones locales y caja de flujos - [Detalles]
Continuamos presentando las herramientas necesarias para la demostración del teorema de Poincaré - Bendixson en el plano. En esta ocasión definimos una sección local en un punto del plano y su caja de flujos.
Diapositivas sobre reglas para escribir demostraciones - [Detalles]
Mostramos la importancia de escribir demostraciones y entablamos las cuatro reglas usuales para escribir una demostración coherente y lógica.
Diapositivas sobre imagen y preimagen de una función - [Detalles]
Damos la definición de 2 elementos de una función: la imagen y la preimagen; mostramos ejemplos de estos 2 conjuntos y el como identificarlos así como diferenciarlos, de igual modo enseñamos que al encontrar estos conjuntos es necesario realizar la demostración de la igualdad del conjunto con el propuesto como su preimagen o imagen.
Leyes de cósenos. Demostración - [Detalles]
Demostramos la ley de Cosenos, la cual es una generalización del teorema de Pitágoras en los triángulos rectángulos en trigonometría.
El enunciado del teorema de van Kampen - [Detalles]
En este video damos una breve motivación para el enunciado del teorema de van Kampen. El video lo terminamos con el enunciado formal de dicho teorema. En un video posterior daremos la demostración. Espero que lo disfruten.
La demostración del teorema de van Kampen - [Detalles]
En este video damos la demostación del teorema de van Kampen. Este teorema es la herramienta computacional más poderosa para calcular grupos fundamentales.
Álgebra homológica - el lema de la serpiente - [Detalles]
En este video enunciamos y demostramos el "lema de la serpiente". Este lema será usado en la demostración del teorema fundamental del álgebra homológica.
Homología singular - invarianza homotópica - [Detalles]
En este video demostraremos una de las propiedades fundamentales de la homología, es decir, que funciones homotópicas inducen funciones iguales en homología. La demostración es un poco larga e involucra cuentas que están relacionadas con la combinatoria del n-simplejo estándar.
Homología singular - escisión - [Detalles]
En este video enunciaremos en teorema de escisión sin demostración. Este teorema es una de las propiedades fundamentales de la homología y nos dice que siempre que tomemos homología relativa, podemos ignorar lo que pasa adentro del subespacio con el que estamos relativizando.
Homología singular - la homología de un cociente - [Detalles]
En este video demostraremos que la homología de la (buena) pareja (X,A) es isomorfa a la homología reducida del cociente X/A. La demostración hace uso del teorema de escisión.
Homología singular - invarianza de la dimensión - [Detalles]
En este video demostraremos que si dos abiertos de ciertos espacios euclideanos son homeomorfos, entonces los espacios tienen la misma dimensión. Este teorema es muy bonito porque es intuitivo el enunciado, la demostración no es nada trivial, pero con toda la herramienta que hemos desarrollado es posible demostrarlo en términos simples.
El algoritmo de Euclides - [Detalles]
Explicamos el algoritmo de Euclides con ejemplos. Damos su demostración. Vemos cómo ayuda a poner MCD como combinación lineal entera.
Algortimo de la división, teorema del factor y del residuo - [Detalles]
Acoplamos temas vistos en los enteros pero ahora para el anillo de los polinomios como el tema de divisibiliad y el teorema del algoritmo de la división conjuntamente con su demostración y su aplicación en la práctica. Asimismo se define lo que es un polinomio irreducible así como el teorema del facotor y el del residuo.
Factorización en ciclos disjuntos - [Detalles]
Demostramos que toda permutación de un conjunto finito es una composición de ciclos disjuntos. Además damos un ejemplo para ilustrar la demostración.
¿Qué son las demostraciones en matemáticas? - [Detalles]
En este video explicamos con una analogia que es una demostración en matemáticas
Ejemplo Desigualdad del Triángulo - [Detalles]
En este video, nos sumergimos en el corazón de una demostración que explora la relación entre $\vert xy - x_0y_0\vert$ y un valor $\varepsilon$ determinado, todo ello haciendo uso de la poderosa Desigualdad del Triángulo.
Los Elementos de Euclides: Teorema 4 - [Detalles]
En este video cubrimos el Teorema 4 de Los Elementos de Euclides. Aquí se realiza la demostración del criterio de congruencia de triángulos LADO - ÁNGULO - LADO.
Los Elementos de Euclides: Teorema 19 - [Detalles]
En este video cubrimos el Teorema 19 de Los Elementos de Euclides. Aquí se realiza la demostración de la propiedad de los triángulos que afirma que a mayor ángulo se opone mayor lado.
Los Elementos de Euclides: Teorema 47. Teorema de Pitágoras - [Detalles]
En este video cubrimos el Teorema 47 de Los Elementos de Euclides. Aquí se realiza la demostración del teorema de Pitágoras
Los Elementos de Euclides: Teorema 48. Recíproco del Teorema de Pitágoras. - [Detalles]
En este video cubrimos el Teorema 48 de Los Elementos de Euclides. Aquí encontrarás la demostración del recíproco del teorema de Pitágoras.
Diferencia simétrica - [Detalles]
En esta sección hablaremos de una nueva operación entre conjuntos: la diferencia simétrica. Abordaremos este tema demostrando algunos resultados con ayuda del álgebra de conjuntos, algunos otros los probaremos con el método de demostración habitual.
Principio de inducción - [Detalles]
En esta entrada hablaremos acerca del principio de inducción, este principio nos permitirá demostrar propiedades que cumple los números naturales. Será de gran importancia pues emplearemos este teorema como método de demostración en el conjunto de los naturales.
Funciones compatibles - [Detalles]
En esta entrada definiremos las funciones compatibles y veremos varios resultados relacionados a ellos. Este concepto será de gran utilidad en la demostración de nuestro siguiente teorema: el teorema de recursión.
Ejercicio Teorema del Sandwich - [Detalles]
¡Sumérgete en una sabrosa rebanada de matemáticas con la inigualable Ley del Sándwich! En este video, nos adentraremos en los ingredientes esenciales de esta fascinante teoría, desplegando paso a paso su demostración. Al igual que un sándwich artesanalmente preparado, esta ley tiene capas y matices que vale la pena explorar en detalle. ¿Podrán dos funciones acotar a una tercera como las rebanadas de pan a un delicioso relleno?
En esta entrada continuaremos recordando algunas propiedades vistas previamente enfocándonos en el teorema de Gauss y su demostración. Esto nos dará una pequeña pista de la relación entre las formas cuadráticas y matrices. Además, con el teorema de Gauss obtendremos un algoritmo para poder escribir cualquier forma cuadrática en una forma estandarizada. Esto nos llevará más adelante a plantear la ley de inercia de Sylvester.
Existencia de la forma canónica de Jordan - [Detalles]
Lo que haremos ahora es mostrar una versión análoga de la forma canónica de Jordan para una familia mucho más grande de matrices. De hecho, en cierto sentido tendremos un resultado análogo para todas las matrices. Primero, generalizaremos nuestra noción de bloques de Jordan para contemplar cualquier eigenvalor. Estudiaremos un poco de los bloques de Jordan. Luego, enunciaremos el teorema que esperamos probar. Finalmente, daremos el primer paso hacia su demostración.
Introducción al teorema de la función inversa - [Detalles]
Enunciamos el teorema de la función inversa y lo explicamos. Probamos resultados auxiliares para su demostración.
Demostración del teorema de la función inversa - [Detalles]
Demostramos el teorema de la función inversa para varias variables (campos vectoriales). Damos un ejemplo de su aplicación.
Teorema de la función implícita y demostración - [Detalles]
Damos el teorema de la función implícita para campos vectoriales (varias variables). Lo demostramos con el teorema de la función inversa.
Demostraciones matemáticas (El mundo de los Blorg) - [Detalles]
En esta entrada introducimos la idea de una demostración matemática, su significado y una de las primeras estrategias para empezar a demostrar.
Demostración de proposiciones con conectores - [Detalles]
En esta entrada revisamos algunos ejemplos de las demostraciones matemáticas con conectores como la conjución y disyunción.
Demostración de proposiciones con cuantificadores - [Detalles]
En esta entrada, veremos las estrategias para demostraciones matemáticas que incluyen cuantificadores como: "para todo" y "existe".
Producto de matrices con matrices - [Detalles]
Definimos el producto de matrices y vemos casos con pocas entradas. Enunciamos algunas propiedades con demostración y vemos ejemplos.
Introduciremos las nociones de cotas superiores e inferiores, y presentaremos el axioma del supremo, finalizando con la demostración de un par de consecuencias de éste.
Ejemplos demostración de limites - [Detalles]
En este video se ejemplifica cómo demostrar (épsilon-delta) que el límite cuando x tiende a 2 de f(x)=x^4 es 16, y que el límite cuando x tiende a un número positivo a, de f(x)=1/x es 1/a.
Límites Trigonométricos Especiales - Demostración - Ejercicio 1. - [Detalles]
Suscribirse en: https://www.youtube.com/user/willingtonprofe Twitter: https://twitter.com/WillingtonProfe
Teorema de la Función Inversa - [Detalles]
En este video se hace una demostración del Teorema de la Función Inversa.
COMAL: Cálculo Diferencial e Integral I - [Detalles]
Este curso de Cálculo Diferencial e Integral I introduce desde motivaciones históricas hasta temas de números reales, funciones, límites, derivadas, sucesiones y algo de series. Con actividades prácticas, videos explicativos y ejercicios, se espera que quienes usen este material conozcan con suficiente profundidad los temas propuestos y desarrollen habilidades de demostración. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.
Correctez en programas recursivos, Técnica del invariante de ciclo - [Detalles]
Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo.
Correctez en programas recursivos, Correctez de un algoritmo iterativo - [Detalles]
Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo.
Introducción al curso, vectores y matrices - [Detalles]
Definimos escalares, vectores, matrices en álgebra lineal. Vemos cómo sumar matrices/vectores y multiplicar por escalares. Probamos un resultado de bases.
Combinaciones lineales - [Detalles]
Definimos combinaciones lineales y espacio generado. Mostramos que el espacio generado por ciertos vectores es el menor subespacio que los contiene.
Demostraciones con conjuntos - [Detalles]
Usamos ejemplos para dar tips y métodos para demostrar contenciones e igualdades, así como las reglas para demostrar por casos.
La matriz de coeficientes de un sistema de ecuaciones - [Detalles]
Explicamos y definimos una matriz de tamaño NxM (arreglos rectangulares de números). Damos la representación matricial de un sistema lineal, la cual es una matriz conformada por los coeficientes del sistema (matriz de coeficientes). Definimos la matriz aumentada y explicamos como usarla para resolver sistemas lineales.
Operaciones con matrices - [Detalles]
Explicamos la suma de matrices y la multiplicación de una matriz por un escalar. También damos la definición de un vector y el producto punto. Explicamos de manera sencilla la multiplicación de matrices.
Determinante de una matriz de $4 imes 4$ y moraleja final - [Detalles]
Vemos como calcular el determinante de la matriz de 4x4 mediante el método por cofactores (damos tips para reducir el número de operaciones). También explicamos lo que significa que el determinante de una matriz sea cero.
Subespacios vectoriales - [Detalles]
Definimos los subespacios vectoriales, los cuales son subconjuntos de un espacio vectorial que son por sí mismos espacios vectoriales. Mostramos que basta con comprobar las reglas 1, 3, 4 y 6 para ver que un subconjunto es subespacio vectorial.
Cuáles son todas las soluciones enteras de una ecuación diofántica - [Detalles]
Demostramos que todas las soluciones de una ecuación lineal Diofántica tienen una forma en particular (expresada en términos de una solución particular y del MCD). Por lo que basta con conocer una solución particular para dar todas las posibles soluciones.
Propiedades de la suma y multiplicación de los polinomios - [Detalles]
Vemos como realizar operaciones con polinomios. Definimos la suma de polinomios, el producto de polinomio por un escalar y el producto de polinomios. Damos un ejemplo para cada operación.
Otros puntos y rectas notables del triángulo - [Detalles]
Demostramos que la suma de los tres ángulos internos de un triángulo suman dos ángulos rectos y que las bisectrices de dos ángulos exteriores de un triángulo y la del ángulo interior no adyacente son concurrentes por tercias
Caracterización de cuadriláteros cíclicos y teorema de Ptolomeo - [Detalles]
Demostramos que por tres puntos no colineales pasa una única circunferencia, demostramos algunas propiedades de los cuadriláteros convexos, el teorema de Ptolomeo y su recíproco
Ecuaciones no lineales de primer orden separables (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales por el método de variables separables
Ecuaciones diferenciales no exactas. Método del factor integrante (Ejemplos) - [Detalles]
Resolvemos un par de ecuaciones diferenciales no exactas por el método de factor integrante.
Ecuaciones lineales no homogéneas de segundo orden. Solución por variación de parámetros - [Detalles]
Desarrollamos el método de variación de parámetros para resolver una ecuación lineal no homogénea de segundo orden.
Ecuaciones lineales no homogéneas de segundo orden. Coeficientes indeterminados (Parte 2) - [Detalles]
Describimos de manera general el método de coeficientes en el caso cuando g(t) es el producto de un polinomio de grado n por una función exponencial. Finalizamos el video con un ejemplo.
Ecuaciones lineales no homogéneas de segundo orden. Coeficientes indeterminados (Parte 3) - [Detalles]
Describimos de manera general el método de coeficientes en el caso cuando g(t) es el producto de un polinomio de grado n por una función coseno o seno.
El oscilador armónico forzado - [Detalles]
Resolvemos un ejemplo del oscilador armónico por el método de coeficientes indeterminados.
Soluciones por series de potencias cerca de un punto ordinario - [Detalles]
Comenzamos la revisión de las ecuaciones de segundo orden con coeficientes variables, y mostramos la existencia de una solución con desarrollo en serie de potencias alrededor de un punto ordinario.
Radio de convergencia de series de potencias cerca de un punto ordinario - [Detalles]
Calculamos el radio de convergencia para una solución por serie de potencias cerca de un punto ordinario para una ecuación diferencial de segundo orden con coeficientes variables.
Soluciones por series cerca de un punto singular regular (Parte 2) - [Detalles]
Continuamos desarrollando el método de Frobenius. En esta ocasión revisamos el caso cuando la ecuación indicial tiene raíces repetidas
Método de la transformada de Laplace - [Detalles]
Resolvemos el problema de condición inicial de manera general para ecuaciones de segundo orden con coeficientes constantes por el método de la transformada de Laplace.
Método de la transformada de Laplace (Ejemplos) - [Detalles]
Resolvemos un par de problemas de condición inicial por el método de la transformada de Laplace.
Propiedades del conjunto de soluciones a un sistema de ecuaciones de primer orden lineales (Parte 1) - [Detalles]
Probamos el principio de superposición de soluciones a un sistema lineal homogéneo. Además, demostramos que el conjunto de soluciones a un sistema lineal homogéneo forma un espacio vectorial con la suma y producto por escalar usuales de matrices.
Sistemas de ecuaciones lineales con coeficientes constantes. Método de eliminación de variables - [Detalles]
Resolvemos el sistema lineal (homogéneo y no homogéneo) de dos ecuaciones de primer orden con coeficientes constantes en su forma general por el método de eliminación de variables.
Sistemas lineales homogéneos con coeficientes constantes. Matriz no diagonalizable - [Detalles]
Consideramos el caso cuando la matriz asociada al sistema tiene valores propios repetidos y NO es diagonalizable. Definimos a los vectores propios generalizados de una matriz, desarrollamos un algoritmo mediante el cual encontramos n soluciones linealmente independientes al sistema, y por tanto la solución general.
Teoremas sobre subgrupos y Subgrupo generado por X - [Detalles]
None
Método de variación de parámetros para sistemas lineales no homogéneos (Ejemplos) - [Detalles]
Resolvemos un par de ejemplos de sistemas no homogéneos por el método de variación de parámetros.
Propiedades básicas de la integral definida - [Detalles]
Propiedades básicas de la integral definida, aditividad, suma, producto por una constante
Metodo de Sustitución o cambio de variable - [Detalles]
Enseñanza a la integración por el metodo de cambio de variable.
Integración por sustitución trigonométrica - [Detalles]
Enseñanza a la integración con el metodo de sustitución trigonométrica.
Metodos numéricos de integración: Regla del punto medio y del trapecio - [Detalles]
Enseñanza al metodo numérico de integración por regla del punto medioa y regla del trapecio.
Metodos numéricos de integración: Regla de Simpson - [Detalles]
Enseñanza al metodo numérico de integración por regla de Simpson.
Sistemas de ecuaciones diferenciales - [Detalles]
Se presenta una introducción a los sistemas de ecauciones diferenciales compuestos por varias ecuaciones diferenciales lineales de primer orden
Veremos que los ángulos del triangulo órtico son bisecados por los lados y las alturas de su triángulo de referencia y el problema de Fagnano
Circunferencia de los nueve puntos - [Detalles]
Presentamos la circunferencia de los nueve puntos, determinada por los pies de las alturas, los puntos medios y los puntos de Euler.
Cuadrángulo ortocéntrico - [Detalles]
Estudiamos algunas propiedades del cuadrángulo ortocéntrico, conjunto formado por los vértices de un triángulo y su ortocentro.
Construcción de σ-álgebras - [Detalles]
Desarrollamos el concepto de sigma-álgebra generado por una familia de subconjuntos del espacio muestral. Con este se construye el sigma-álgebra de los borelianos.
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios reales y distintos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son reales y distintos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son complejos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios repetidos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son repetidos
Dispositivas de conectores: conjunción y disyunción - [Detalles]
Definimos la conjunción y la disyunción sobre una proposición, también mostramos que este tipo de proposiciones están formadas por 2 proposiciones (así formando una gracias a estos conectores) se muestra sobre como este tipo de proposiciones son verdaderas o falsas.
Diapositivas de cuantificadores - [Detalles]
Mostramos los símbolos más recurrentes en matemáticas para denotar la existencia, unicidad la totalidad y pertenencia de elementos en un conjunto asi mismo es acompañado por una lista de ejemplos.
Diapositivas sobre familias de conjuntos - [Detalles]
Hablamos sobre los conjuntos que tienen como elementos conjuntos a los cuales llamamos familias de conjuntos, al igual que lo que hemos ya estudiado de conjuntos a estos también podemos unirlos e intersectarlos entre sí como familia, además de indexarlos (ponerles índices y por ende un orden de conjuntos), Se demuestran unas propiedades y se muestran en estas uniones e intersecciones las leyes de De Morgan.
Diapositivas sobre funciones invertibles y biyectivas - [Detalles]
En este tema se demuestra una de las propiedades más importantes de todo el tema de funciones que es que una función es inversa de otra si la composición por ambos lados da la función identidad y segundo que si está función es biyectiva su inversa cumple que la composición resulta la identidad.
Diapositivas sobre matrices y operaciones - [Detalles]
Mostramos estos arreglos llamados matrices, su notación, las diferentes operaciones que se pueden efectuar con ella como: suma, resta, multiplicación de matrices, producto por un escalar y las hipótesis que se deben cumplir para efectuar estas operaciones. Mostramos unas matrices especiales como los vectores, la matriz identidad y la matriz transpuesta junto con las propiedades de esta última.
Diapositivas sobre espacios vectoriales - [Detalles]
Definimos lo que es un espacio vectorial y los elementos que habitan en él (vectores), mostramos que para demostrar por definición que un espacio es vectorial debe de cumplir las 10 propiedades de éste. Se proporcionan ejemplos de espacios vectoriales y las demostraciones sobre estas 10 propiedades de la definición; se proporciona una aplicación de espacios vectoriales que es ver a la fuerza como una magnitud de dirección y magnitud, es decir, como un vector.
Diapositivas de subconjuntos del plano y espacio cartesiano - [Detalles]
En estas diapositivas sirve de retroalimentación respecto a los temas 2 temas anteriores, son un repaso de esteos subconjuntos generados por una condición dentro del plano cartesiano o dentor del espacio cartesiano.
Diapositivas sobre espacios vectoriales - [Detalles]
Iniciamos nuevo tema que es de espacios vectoriales, damos la definición y las 10 condiciones que debe cumplir un espacio para ser llamado vectorial, asimismo mostramos las operaciones que son posibles en un espacio vectorial como la suma de vectores y el producto por escalar; mostramos un ejemplo de aplicación de vectores aplicados como fuerzas.
Diapositivas sobre matrices - [Detalles]
Definimos lo que es una matriz y definimos el espacio de matrices de "n" renglones por "m" columnas y algunas matrices cuadradas especiales de este espacio.
Diapositivas sobre operaciones matriciales - [Detalles]
Continuamos construyendo la definición de una matriz pero ahora definimos sus operaciones básicas somo la suma y multiplicación de dos matrices también su multiplicación por escalar, también hablamos que una matriz de nx1 o también llamado vector columna es un vector con n entradas que se ocupa para hablar de un elemento de Rn.
Diapositivas sobre subespacios vectoriales - [Detalles]
Damos una nueva definición que son los subespacios vectoriales que es un subconjunto de un espacio vectorial que heredan las propiedades de este último dando así un nuevo espacio vectorial, mostramos que por ser subespacios no es necesario corroborar todas las propiedades pero mostramos cuáles son las que sí se deben corroborar. Estas diapositivas están acompañadas de bastos ejemplos.
Diapositivas sobre producto punto - [Detalles]
Dentro de Rn (el cual es un espacio vectorial) hay una operación de gran utilidad que es la del producto punto que es la suma del producto entrada por entrada de los vectores, se muestran aplicaciones de esta operación como la medición del ángulo formado entre 2 vectores y su norma, esta explicación es acompañada de ejemplos.
Cuestionario sobre semiplanos - [Detalles]
Ponemos en práctica nuestro nuevo tema de semiplanos con dos ejercicios muy sencillos en donde solo hay que clasificar correctamente los semiplanos separados por una recta, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
Cuestionario sobre planos y distancias en el espacio - [Detalles]
Ponemos en práctica el cálculo de estas dos nuevas métricas en R^3 y también practicamos la identificación de los semiespacios divididos por un plano sobre el mismo espacio, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
Diapositivas sobre lugar geométricos de las cónicas - [Detalles]
Formalizamos el concepto de las cónicas definiédolas como lugares geométricos, por lo cual se surge una definición respecto a los puntos que generan a nuestras figuras cónicas siendo una definición más formas y que más adelante nos ayudará a generar las ecuacioens canónicas de cada una de las cónicas, también hablamos sobre los elementos más importante de cada una de ellas.
Qué es un radián. Tallercito feliz - [Detalles]
En este taller nos dedicamos a explicar qué es un radián, durante el taller se realiza una actividad muy divertida que pueden hacer con Arilín desde su casa. Por otro lado, explicamos la relación entre radianes y grados, cómo hacer convenciones de radianes a grados y viceversa.
Resolución de triángulos - [Detalles]
Hacemos uso de las Leyes de senos y cosenos para la resolución de triángulos. Es decir, mostramos que, sabiendo algunos datos de un triángulo cualquiera, podemos saber cuándo miden los lados y ángulos restantes por medio de las leyes de senos y cosenos
Coordenadas cilíndricas - [Detalles]
Hablamos sobre las coordenadas cilíndricas y su similitud a las coordenadas polares (recordemos que las coordenadas polares son de dos dimensiones). Explicamos como un punto en el espacio se puede representar por medio de las coordenadas cilíndricas.
Coordenadas esféricas - [Detalles]
Explicamos como un punto en el espacio se puede representar por medio de las coordenadas esféricas. Vemos la representación geométrica de los dos ángulos de las coordenadas esféricas.
Subespacios vectoriales - [Detalles]
Definimos los subespacios vectoriales, los cuales son subconjuntos de un espacio vectorial que son por sí mismos espacios vectoriales. Mostramos que basta con comprobar las reglas 1, 3, 4 y 6 para ver que un subconjunto es subespacio vectorial.
Ejemplo 4 subespacio vectorial - [Detalles]
Vemos un ejemplo donde se muestra un subconjunto de un espacio vectorial (una recta, descrita por su ecuación de recta), NO es un subespacio vectorial.
Producto cruz ( producto vectorial) - [Detalles]
Definimos el producto cruz, el cual es una operación entre dos vectores que da como resultado otro vector (a diferencia del producto punto que resulta en un escalar). Mostramos como calcularlo por medio de un tipo de determinante y sus propiedades: Anticonmutativo, Distributivo, Saca escalares y que es perpendicular a cada uno de sus factores. También mencionamos la regla de la mano derecha y como está relacionado con el área y el ángulo entre los dos factores.
Definimos el producto triple, el cual es una operación entre tres vectores de R^3 (a diferencia del producto punto o cruz, que es entre dos vectores). Damos la definición en término del producto punto y producto cruz. También mostramos como calcularlo mediante un determinante y sus propiedades: Cíclico, Anticonmutativo, Distribuye la suma, Saca escalares y que es el volumen del paralelepípedo formado por sus factores.
Ejercicios Producto Triple - [Detalles]
Realizamos varios ejercicios del producto triple, vemos en que caso el producto triple es cero, algunos ejercicios para obtener el volumen del paralelepípedo formado por los factores, y que significa que el producto triple sea cero, lo cual está relacionado a que los factores sean linealmente dependientes o independientes.
Ecuacion de la recta en $\mathbb{R}^n$ - [Detalles]
Definimos la ecuación de la recta en el espacio tridimensional R^3 (lo que podemos generalizar para R^n). Vemos la forma paramétrica y también vemos que podemos escribir la ecuación de la recta conociendo dos puntos que pasen por ella.
Distancia punto recta - [Detalles]
Deducimos la fórmula para calcular la distancia de un punto a una recta en el espacio tridimensional. Buscamos la distancia mínima del punto a la recta Durante la deducción hacemos uso del producto cruz ya que buscamos una distancia dada por una dirección perpendicular a la recta.
Ejemplo distancia entre dos rectas - [Detalles]
Dadas dos rectas descritas por sus respectivas ecuaciones de la resta, calculamos como ejemplo la distancia entre estas dos rectas. Usamos la formula anteriormente deducida.
Ecuaciones del plano - [Detalles]
Vemos la ecuación para un plano en el espacio tridimensional, vemos la forma de la ecuación paramétrica y de la ecuación general del plano. También vemos como dar la ecuación del plano a partir de tres puntos que pasen por el plano y como obtener el vector normal al plano.
Damos una introducción a las secciones cónicas, las cuales son lugares geométricos descritos por la circunferencia, elipse, parábola, hipérbola. También mencionamos algunos elementos importantes como la generatriz, vértice y el eje. Damos la ecuación que define a las secciones cónicas y como diferenciarlas a partir de su ecuación general.
El grupo fundamental es, en efecto, un grupo - [Detalles]
En este video demostramos que el grupo fundamental es un grupo con la operación dada por concatenar lazos.
En este video comenzamos un pequeño detour por la teoría de grupos. Definiremos lo que es un grupo libre y enunciaremos su propiedad universal.
En este video continuamos nuestro pequeño detour por la teoría de grupos. Definiremos el producto libre de grupos y su propiedad universal.
Homología singular - definición de homología singular - [Detalles]
En este video por fin definiremos la homología singular de un grupo X. Estos objetos (grupos abelianos o R-módulos) serán nuestro principal objeto de estudio en lo que resta de esta lista de reproducción.
Homología singular - el 0-ésimo grupo de homología - [Detalles]
En este video veremos que el 0-ésimo grupo de homología singular es la suma de copias de los coeficientes, una por cada componente arco-conexa del espacio.
Homología singular - funtorialidad - [Detalles]
En este video mostraremos que funciones continuas entre espacios topológicos inducen funciones de complejos de cadenas singulares y, por lo tanto, funciones entre grupos de homología.
Complejos CW - definición - [Detalles]
En este video definiremos complejo CW, un tipo muy particular de espacio que se estudian en topología algebraica. Muchos de los espacios que nos son familiares son complejos CW, por ejemplo, las esferas, los espacios proyectivos y las superficies.
Proyecto: Caminata por el jardín y sistemas lineales en el cubo - [Detalles]
En este proyecto estudiamos los sistemas de ecuaciones lineales en el cubo unitario de altas dimensiones para resolver un problema de geometría discreta.
Principios de inducción y teoremas de recursión - [Detalles]
Demostramos el princicipio de inducción y el teorema de recursión débil, por otro lado enunciamos el teorema de recursión fuerte y el principio de buen orden.
Sistemas de ecuaciones lineales complejos - [Detalles]
Motivamos el estudio de la solución de sistemas de ecuaciones lineales pero ahora con números complejos, nuestra inspiración fueron algunos métodos que ya conocemos por el estudio en los reales tales como el determinante, substitución o igualando coeficientes.
El teorema de derivadas y multiplicidad - [Detalles]
Construimos un método por el cual a través de derivadas podamos determinar la multiplicidad de las raíces de un polinomio esto a través del teorema de multiplicidad y derivadas, también con ayuda de la simplificación de un polinomio para encontrar sus raíces, este método se basa en los conocimientos adquiridos en otra entrada que es calculas el máximo común divisor entre el polinomio y su derivada.
Subgrupos cíclicos generados - [Detalles]
Se repasa el concepto de subgrupo cíclico generado por un elemento y se presentan ejemplos.
Unidad I: Introducción y preliminares - Tarea - [Detalles]
En esta tarea en equipo se evalúan temas de la primera unidad tales como operaciones de números complejos, geometría del espacio complejo y el plano complejo extendido, por mencionar algunos.
Unidad I: Introducción y preliminares - Examen - [Detalles]
En este examen se evalúan temas de la primera unidad tales como operaciones de números complejos, geometría del espacio complejo y el plano complejo extendido, por mencionar algunos.
16. Diferenciabilidad en el sentido complejo - [Detalles]
Introducimos por fin el concepto de diferenciabilidad en el sentido complejo, veremos la definición de derivada de una función compleja y estudiaremos cuando una función es derivable y cuando no y las propiedades de estas.
19. Consecuencias de las ecuaciones de Cauchy-Riemann - [Detalles]
En las entradas anteriores vimos las ecuaciones de Cauchy-Riemann, hemos deducido las ecuaciones de C-R y hemos visto que dichas condiciones nos permiten caracterizar por completo la diferenciabilidad en el sentido complejo. En esta entrada abordaremos algunos resultados que son consecuencia directa de las ecuaciones ya mencionadas.
24. Transformaciones del plano complejo $\mathbb{C}$ - [Detalles]
Ya hablamos bastante acerca de las funciones complejas, su continuidad y derivadas, ahora revisaremos un poco más afondo la geometría, por medio de las transformaciones, veremos varios tipos de estas y como afectan al plano y a subconjuntos de este.
26. Funciones complejas como transformaciones. Técnicas de graficación. - [Detalles]
Como sabemos, es un poco difícil visualizar la gráfica de una función que va de $\mathbb{R}^2$ en $\mathbb{R}^2$, este es más o menos el caso en funciones de $\mathbb{C}$ en $\mathbb{C}$, por lo que para cerrar la unidad, estudiaremos algunos métodos que se pueden emplear para visualizar de cierta forma estas gráficas.
30. Series de potencias y funciones - [Detalles]
Una vez vistas las series de potencias, metámonos a ver como se relacionan con las funciones complejas y que puede pasar si una función está descrita por una serie de potencias.
31. Funciones elementales como series de potencias - [Detalles]
Para terminar con la unidad, regresaremos a analizar funciones elementales tales como la exponencial, seno, coseno complejos pero vistos por medio de sus series de potencias, así podremos ver desde otro punto de vista su analicidad y sus propiedades.
40. Funciones conjugadas armónicas y funciones conformes - [Detalles]
En esta entrada definiremos lo que significa que dos funciones sean conjugadas y armónicas conjugadas, esto luego nos permitirá caracterizar con aún más precisión a las funciones analíticas por medio de sus partes real e imaginaria.
Nota 9. Composición de funciones. - [Detalles]
En esta nota vemos una operación entre funciones llamada composición, así como la prueba de que es una operación asociativa; también vemos varios ejemplos de composiciones y recursos interactivos que nos ayudan a entender mejor el tema, por ultimo introducimos una función muy importante: la función identidad.
Nota 16. Los números naturales. - [Detalles]
En esta nota construimos los números naturales mediante el uso de conjuntos y la función sucesor, derivado de esto vemos los axiomas de Peano, entre ellos se encuentra el llamado "principio de inducción" el cual se utiliza mucho en pruebas relacionadas a números naturales; por ultimo definimos dos operaciones en este conjunto: la suma y el producto.
Nota 18. El principio de inducción matemática. - [Detalles]
En esta nota usaremos el quinto axioma de Peano para hacer un tipo de prueba muy usada en matemáticas cuando se quiere constatar que un subconjunto de los números naturales es de hecho igual que los números naturales; vemos varios ejemplos de como usar correctamente el principio de inducción y por último vemos otros dos principios muy importantes de los naturales: el segundo principio de inducción y el principio del buen orden.
Algebra Moderna I: Operación binaria - [Detalles]
El objetivo de esta nota es definir el concepto de "operación binaria" dentro del Algebra Moderna. Así mismo, dejar definida la notación del concepto que se adoptará a lo largo de las notas del curso. Y por ultimo se ejemplifican algunas formas de construir este tipo de operaciones.
Nota 19. Conjuntos equipotentes y cardinalidad - [Detalles]
En esta nota hablamos de la cardinalidad de un conjunto, es decir, su tamaño o número de elementos que contiene, vemos como el tamaño de dos conjuntos se puede comparar mediante funciones. Por último probamos el principio de la suma, el cual nos dice la cardinalidad de la unión de dos conjuntos finitos y ajenos, con este resultado veremos en general la cardinalidad de la unión de dos conjuntos finitos.
Nota 29. Subespacio generado - [Detalles]
En esta nota continuaremos con los subespacios vectoriales, definiremos lo que es el subespacio generado por un conjunto y veremos varías propiedades de este así como diversos ejemplos.
Álgebra Moderna I: Propiedades de grupos y Definición débil de grupo - [Detalles]
En primera instancia se definirán propiedades básicas de grupos como en cualquier otra estructura algebraica. En la cual, es de importancia mencionar la existencia de un neutro, asociatividad e inverso. Por ultimo, la definición débil de grupo.
Álgebra Moderna I: Orden de un grupo - [Detalles]
Es importante definir ahora el orden de un grupo, formalizando algunos conceptos del tema anterior como el del conjunto generado por un elemento a.
Álgebra Moderna I: Teoremas sobre subgrupos y Subgrupo generado por X - [Detalles]
El primer teorema a probar dentro de la sección es el de si todo subgrupo de un cíclico, es cíclico también. Posterior a este resultado se busca encontrar al menor subgrupo que contiene a cualquier subconjunto X.
Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de H en G - [Detalles]
En esta entrada definiremos una relación de equivalencia en un grupo. Nos referimos al grupo de los enteros con la suma (Z,+) en el cual es posible establecer una relación de equivalencia que induce a una partición con exactamente n conjuntos.
Álgebra Moderna I: Subgrupo Conmutador - [Detalles]
En esta entrada, el propósito es inicialmente establecer la noción de conmutador entre dos elementos del grupo G. Posteriormente, se pretende definir el conjunto generado por todos los conmutadores en el grupo. Estos pasos se dan con el fin de crear un grupo cociente abeliano, a pesar de que el grupo original G no lo sea.
Introducción: ¿Qué son las Ciencias de la Computación?, Disciplinas semejantes - [Detalles]
1.5 Disciplinas semejantes - Presentación de la familia de disciplinas altamente relacionadas a ciencias de la computación tales como programación, ingeniería de la computación, cibernética, informática, tecnologías de la información y ciencia de datos además de por qué no son lo mismo.
Los Elementos de Euclides: Teorema 12 - [Detalles]
En este video cubrimos el Teorema 12 de Los Elementos de Euclides. Aquí se realiza la construcción de la perpendicular a una recta dada, por un punto no perteneciente a la recta dada
Álgebra Moderna I: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo - [Detalles]
En esta sección se analizara un tipo de correspondencia que se puede presentar entre dos grupos, lo cual nos llevara a definir el concepto de Homomorfismo. Por tanto, es necesario analizar sus propiedades y comportamientos bajo composición.
Álgebra Moderna I: Núcleo e Imagen de un Homomorfismo - [Detalles]
En esta entrada, nos enfocaremos en dos conjuntos fundamentales relacionados con los homomorfismos. En primer lugar, consideramos la colección de todos los elementos del dominio que son transformados en el elemento neutro del codominio. A este conjunto lo denominamos el núcleo del homomorfismo ϕ. Por otro lado, podemos tomar todos los elementos del dominio, aplicarles la función ϕ y obtener el subconjunto correspondiente en el codominio. A este conjunto lo llamamos la imagen de ϕ. Estos dos subconjuntos desempeñan un papel crucial en el análisis de los homomorfismos.
Los Elementos de Euclides: Teorema 15 - [Detalles]
En este video cubrimos el Teorema 15 de Los Elementos de Euclides. Aquí se demuestra que los ángulos opuestos por el vértice son iguales.
Los Elementos de Euclides: Teorema 21 - [Detalles]
En este video cubrimos el Teorema 21 de Los Elementos de Euclides. Aquí demostramos que si desde los extremos de uno de los lados de un triángulo se construyen dos rectas que se encuentren en el interior de él, las rectas construidas serán menores que los lados restantes del triángulo pero el ángulo comprendido por las rectas construidas será mayor.
Los Elementos de Euclides: Teorema 24 - [Detalles]
En este video cubrimos el Teorema 24 de Los Elementos de Euclides. Este teorema prueba que si dos triángulos tienen dos lados respectivamente iguales pero el ángulo comprendido por estos lados es mayor en el primer triángulo respecto del segundo, entonces el tercer lado del primer triángulo es mayor respecto del tercer lado del segundo triángulo.
Los Elementos de Euclides: Teorema 25 - [Detalles]
En este video cubrimos el Teorema 25 de Los Elementos de Euclides. Aquí se demuestra que si dos triángulos tienen dos lados respectivamente iguales y en el primer triángulo el tercer lado es mayor que el tercer lado del segundo triángulo, entonces el ángulo comprendido por los lados iguales en el primer triángulo es mayor que el ángulo respectivo en el segundo triángulo.
Los Elementos de Euclides: Teorema 31 - [Detalles]
En este video cubrimos el Teorema 31 de Los Elementos de Euclides. Aquí se realiza la construcción de la recta paralela a una recta dada, por un punto dado.
Los Elementos de Euclides: Teorema 33 - [Detalles]
En este video cubrimos el Teorema 33 de Los Elementos de Euclides. Aquí se demuestra que las rectas que unen por los extremos y en el mismo lado, rectas iguales y paralelas, son también iguales y paralelas.
Diseño y programación orientada a objetos; Modelo - [Detalles]
1.2 Modelo orientado a objetos - ¿Qué es el modelo orientado a objetos? Presentación de las características de este modelo y su composición además de la definición de objeto que usaremos, cómo funciona, su rutina y mensaje además los tipos que existen. De igual forma se nos explica la definición de estado de objeto. y los tipos de métodos. También se nos habla de la programación orientada a objetos con clases, su definición y composición. Por último se presenta la definición de interfaz.
Diseño y programación orientada a objetos; Diseño - [Detalles]
1.3 Diseño: tarjetas de responsabilidad y UML - Diseño de una solución orientada a objetos. Cómo se hace una tarjeta de responsabilidad. ¿Qué es la notación UML? y cómo hacer un diagrama de clases. Se da el primer acercamiento al concepto de herencia o generalización, implementación o realización y contención (agregación y composición). Por último se habla de dependencia y asociación.
Introducción a la programación con Java; Elementos teóricos;Programa en Java - [Detalles]
1.1. Programa en Java - Empezamos por definir qué es un programa y cómo es que implementan algoritmos. Cómo funciona un programa. ¿Qué es un lenguaje de máquina y un lenguaje de alto nivel.
Introducción a la programación con Java. Elementos teóricos; Compiladores - [Detalles]
1.2 Compiladores - Esta lección comienza por definir lo que es un traductor; en específico se estudiarán en esta lección a los compiladores en contraposición con los intérpretes.
Propiedades del producto cartesiano - [Detalles]
En esta entrada demostraremos algunas de las propiedades del producto cartesiano. Hablaremos acerca de la conmutatividad y asociatividad de esta operación. A partir de esta entrada haremos uso de los números naturales aunque formalmente no los hemos definido, por el momento los utilizaremos simplemente como números y no como conjuntos.
Funciones inyectivas - [Detalles]
En esta sección abordaremos el concepto de función inyectiva, notaremos que la función inyectiva será aquella que mande elementos distintos a elementos distintos bajo una función. Veremos varios ejemplos así como equivalencias a ser inyectiva, por ultimo veremos que pasa con la composición de funciones y la inyectividad.
Axioma de elección - [Detalles]
En esta sección abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo.
En esta nueva sección veremos algunas otras equivalencias del axioma de elección, pero éstas en particular no son tan evidentes e incluso resultan sorprendentes. En muchas ramas de las matemáticas se apela a las formas equivalentes del axioma de elección que veremos en esta sección, es por ello que es importante tratarlas.
Ejercicio Límite al infinito - [Detalles]
Aprende a realizar tus primeras demostraciones usando el método de epsilon-delta con un ejemplo sencillo: entender por qué $1/x$ tiende a $0$ cuando tiendes a $\infty$.
Ejercicio Límite de función acotada y otra con valor $0$ - [Detalles]
Si $g(x)$ tiende a $0$ y $h(x)$ es una función acotada, ¿qué ocurre con el producto $g(x)h(x)$? En este video, exploramos y demostramos por qué este producto también tiende a $0$.
Ejercicio Función discontinua en todas partes - [Detalles]
Embárcate en un viaje por los misterios matemáticos mientras exploramos la famosa función de Dirichlet. En este video, nos sumergiremos en la estructura y propiedades de esta curiosa función, demostrando paso a paso cómo es discontinua en todos los puntos del dominio real.
Ejercicio Polinomios de grado par - [Detalles]
En este video, abordaremos paso a paso el razonamiento detrás de por qué todo polinomio de grado par alcanza su máximo en el conjunto de los números reales.
Funciones algebraicas - [Detalles]
En este capitulo de Cimientos Matemáticos veremos las funciones algebraicas que son fundamentales en matemáticas, abarcando desde las simples funciones lineales, que dibujan rectas, hasta las cuadráticas con sus parábolas características, pasando por las polinomiales, hasta las racionales.
MiniCOMAL: Cimientos Matemáticos - [Detalles]
Cimientos Matemáticos es un texto escrito de matemáticas pre-universitarias hecho por el Dr. Eric Pauli Pérez Contreras. Cubre varios temas importantes que se deben conocer y manejar apropiadamente para facilitar el estudio de las matemáticas a nivel universitario. En este curso podrás consultar el material elaborado en archivos PDF, así como una multitud de mini-cuestionarios para evaluar tus conocimientos sobre los temas que se tratan en cada capítulo.
Q-learning en el ambiente del Frozen Lake - [Detalles]
Se presenta el algoritmo de aprendizaje por refuerzo Q-learning y se aplica al ambiente del Frozen Lake del gimansio OpenAI.
Polinomio característico de familias especiales - [Detalles]
En esta entrada veremos varias propiedades que nos van a facilitar el calcular el polinomio característico (y por tanto los eigenvalores) en un amplio rango de matrices diferentes, principalmente matrices triangulares superiores y matrices nilpotentes.
Espacios euclideanos y espacios hermitianos - [Detalles]
En esta entrada haremos un breve recordatorio de los conceptos de producto interior y de espacios euclideanos. Por otro lado, hablaremos de cómo dar los análogos complejos. Esto nos llevará al concepto de espacios hermitianos.
Sistemas de ecuaciones lineales - [Detalles]
Repasamos sistemas de ecuaciones lineales, matrices elementales y matrices equivalentes por filas. Los relacionamos con matrices invertibles.
Demostraciones directas e indirectas - [Detalles]
Revisamos las estrategias para demostrar directa e indirectamente. Ponemos un ejemplo de las demostraciones por casos.
JAVA, Clases de uso - [Detalles]
• Clases de uso – Organización por convención. ¿Qué son las clases en JAVA? El método main. Java, poo, programación orientada a objetos, clases de uso, clases, método main, main
Presentación del curso de Calculo Diferencial e Integral I - [Detalles]
En este video se presentará el contenido del curso de Cálculo Diferencial e Integral I. Se exponen de manera informal los problemas que motivan el Cálculo Diferencial e Integral y se enfatiza la necesidad de la discusión profunda de los conceptos de aproximación (supremos/ínfimos, límites) como fundamento del Cálculo. Presentación del curso de Calculo Diferencial e Integral I Contenido: 00:00 ¿Qué significa "cálculo"? 02:37 ¿Qué se entiende actualmente por cálculo? 04:15 ¿Qué es el Cálculo Diferencial? 07:02 ¿Qué es el Cálculo Integral? 08:27 Relación entre el Cálculo Diferencial e Integral 09:27 La Derivada 11:27 La Integral 11:54 El Análisis Real 15:05 Temario del Curso: 1. Números Reales 17:03 Temario del Curso: 2. Conjuntos y Funciones de Números Reales 18:50 Temario del Curso: 3. Límites de Funciones de Variable Real 19:24 Temario del Curso: 4. Continuidad 20:30 Temario del Curso: 5. Derivadas Créditos. Tabla de contenido: Carlos Moisés Arriaga Osante.
Funciones inyectivas, crecientes y decrecientes - [Detalles]
En este video definimos el concepto de inyectividad, que es un criterio por el que una función puede tener una función inversa, y se discute la relación entre inyectividad y crecimiento-decrecimiento de funciones.
Excepciones, Tipos de errores - [Detalles]
Tipos de errores - Cómo identificar y diferenciar los tipos de errores. Análisis por jerarquía.
Funciones de orden superior, Definiciones - [Detalles]
Funciones de orden superior - Definiciones y explicación previa a la introducción de este tipo de funciones en JAVA mediante sus interfaces funcionales por sus limitantes
Implementación de genéricos en Java, Borrado de tipos - - [Detalles]
Borrado de tipos - Por qué los genéricos sólo ayudan en tiempo de compilación.
Modelo Vista Controlador - [Detalles]
Modelo Vista Controlador - por sus siglas MVC. explicación a fondo de este patrón para diseño de software