Damos las definiciones de los cuantificadores: para todo, existe y existe un único. Mediante ejemplos mostramos su uso en la lógica proposicional.
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.
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
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 del Factor - [Detalles]
Explicamos el Teorema del Residuo, el cual nos dice que: El residuo de dividir un polinomio "p(x)" entre "x-a" (con "a" un escalar), es "p(a)", es decir que existe "q(x)" tal que: "p(x)=(x-a)*q(x)+r", con el residuo "r=p(a)". Mostramos algunos ejemplos y demostramos el teorema.
Criterio de Eisenstein para verificar que un Polinomio es irreducible - [Detalles]
Presentamos el criterio de Eisenstein, el cual es un teorema que nos dice: Dado un polinomio con coeficientes en los enteros, si existe un numero primo que cumpla cierta propiedad (la cual detallamos en el video), entonces el polinomio es irreducible. Usando este criterio podemos saber si un polinomio es reducible sobre los enteros.
Probabilidad condicional - [Detalles]
Desarrollamos la probabilidad condicional, una herramienta nueva que permite describir la asociación que existe entre eventos
Diapositivas sobre determinantes (*) - [Detalles]
*No existe*
Explicamos en que consiste la simetría central, alrededor de un punto O. La cual describe que dado un punto siempre existe otro punto con el cual, al formar un segmento de recta, el punto central O siempre está en el medio.
Explicamos en que consiste la simetría axial, alrededor de un eje E. La cual describe que dado un punto Q, siempre existe otro punto P, tal que el eje E es la mediatriz del segmento PQ. Describimos esto de forma geométrica con imágenes en un plano.
Un criterio de levantamiento de funciones - [Detalles]
En este video demostramos un criterio que nos dice exactamente cuándo existe un levantamiento de una función con dominio arbitrario.
El teorema de clasificación de cubrientes - parte 1 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un cubriente tal que su grupo fundamental es isomorfo a H.
El teorema de clasificación de cubrientes - parte 2 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un único cubriente tal que su grupo fundamental es isomorfo a H.
Cambio de coordenadas y forma polar de un complejo - [Detalles]
Estudiamos las coordenadas rectangulares y las coordenadas polares de los números complejos, asimismo mostramos que existe una biyección entre estos dos sistemas coordenados.
Álgebra Moderna I: Caracterización de grupos cíclicos - [Detalles]
En los grupos cíclicos, existe un subgrupo único para cada divisor del orden del grupo. Este concepto será el enfoque inicial de esta explicación. Posteriormente, emplearemos un resultado de la teoría de números, utilizando la teoría de grupos para describir los grupos cíclicos de manera más detallada. Esta descripción, junto con sus implicaciones en los campos finitos, se basa en los materiales de los libros de Rotman y también se encuentra en el libro de Avella, Mendoza, Sáenz y Souto, que se mencionan en la bibliografía.
Á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.
Gráficas regulares y secuencias de grado q - [Detalles]
Aquí damos respuesta a las siguientes preguntas ¿Para qué valores de n y r existe una gráfica r-regular de orden n? ¿Qué secuencias de n números enteros no negativos son la secuencia de grados de una gráfica?
Cuantificadores existenciales y universales - [Detalles]
Definimos los cuantificadores existenciales (existe) y universales (para todo). Hablamos de esquemas y universos de discurso.
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".
Limites laterales - [Detalles]
En este video se explica la idea de los límites laterales, se hacen algunos ejemplos y se demuestra que cuando los límites laterales coinciden, el límite de la función existe y es igual al valor común de los límites laterales.