Álgebra
Álgebra
Área dedicada a expresiones, ecuaciones, desigualdades, estructuras algebraicas y métodos simbólicos.
Teoría publicada
- Axiomas de cuerpo y consecuencias algebraicas básicas (
MA-CON-0020) - Desigualdades cuadráticas por factorización
- Valor absoluto y desigualdades básicas
- Dominio de funciones reales con radicales
- Intervalos e intersección de conjuntos reales
- Propiedades del orden en ℝ y manipulación de desigualdades
- Operaciones con conjuntos reales: unión, intersección, complemento y diferencia
- Funciones reales: dominio, codominio, imagen y preimagen
- Composición de funciones e identidad
- Inyectividad, sobreyectividad y biyectividad
- Funciones inversas
MA-CON-0020 abre explícitamente la línea de estructuras algebraicas: muestra qué reglas se adoptan como axiomas de cuerpo y cuáles se deducen de ellos.