\(\mathcal P\)aradoja de Russel

 Se define $R$ como el conjunto de todos los conjuntos que no son miembros de sí mismos:$$R = \{x \mid x \notin x\}$$

Al evaluar el propio objeto $R$ dentro de su condición ($x = R$), se genera la bicondicional:$$R \in R \iff R \notin R$$

\(\mathcal T\)eorema de Frege

 En lógica proposicional, el teorema de Frese se refiere a la siguiente tautología:

$${\displaystyle (P\to (Q\to R))\to ((P\to Q)\to (P\to R))}$$

\(\mathbb G\)ottlob \(\mathbb F\)rege

Gottlob Frege

Gottlob Frege fue un matemático alemán conocido por ser uno de los fundadores de la lógica simbólica moderna, al proponer la idea de que las matemáticas pueden reducirse a la lógica.

Orígenes y situación histórica

Frege nació el 8 de noviembre de 1848 en Wismar, una ciudad situada en el norte de Alemania a orillas de una entrada del mar Báltico (asociada históricamente a la región de Pomerania). Sus padres fueron Karl Alexander Frege (1809–1866) y Auguste Bialloblotzky (f. 1878). Alexander Frege era un teólogo de cierto renombre que ejercía como director de una escuela secundaria para niñas en Wismar, centro que dirigía junto a su esposa. Se cree que la madre de Gottlob provenía de una familia no originaria de esa zona, sino probablemente de origen polaco. En la época en que nació Gottlob, Wismar estaba administrada por el estado de Mecklemburgo-Schwerin desde 1803, aunque Suecia aún la reclamaba, habiéndola controlado desde la Paz de Westfalia en 1648 hasta 1803.

Frege creció en Wismar y asistió al Gymnasium local, donde tuvo como profesor a Leo Sachse, quien ejerció una gran influencia sobre el joven estudiante. Fue siguiendo el consejo de Sachse como Frege decidió más adelante continuar sus estudios superiores. En el plano político e ideológico, Frege se sentía orgulloso de vivir en el estado de Mecklemburgo, amaba la casa ducal de Mecklemburgo y creía firmemente en esta forma de gobierno por encima de una elegida democráticamente. La juventud de
Frege coincidió con un periodo de profundos cambios geopolíticos en Europa: 

• En 1862, el nombramiento de Otto von Bismarck como primer ministro de Prusia puso en marcha la unificación de los estados alemanes (como Mecklemburgo) bajo el liderazgo prusiano, a lo que Austria se oponía.

  

  Proclamación del Imperio alemán,
  de Anton von Werner, 1885

• En 1866 falleció Alexander Frege, el padre de Gottlob. Ese mismo año estalló la Guerra de las Siete Semanas, en la que Mecklemburgo se alineó con Prusia contra Austria.
• En 1867, la victoria prusiana condujo a la creación de la
  Confederación Alemana del Norte, con Mecklemburgo entre sus miembros.
• En 1870–1871, Prusia lideró a los estados alemanes en la Guerra Franco-Prusiana, culminando en 1871 con la fundación del Reich alemán (el Imperio alemán) bajo el emperador Guillermo I de Prusia.

Carrera universitaria

En el plano intelectual y universitario, Frege dejó el hogar a los veintiún años (en 1869) para ingresar en la Universidad de Jena. Allí estudió matemáticas durante dos años. Posteriormente, continuó su educación durante dos años más en la Universidad de Gotinga, donde obtuvo su doctorado en matemáticas en diciembre de 1873 con una tesis sobre geometría supervisada por Ernst Schering. Aunque las matemáticas eran su especialidad principal, cursó también asignaturas de física, química y filosofía. Durante su etapa formativa asistió al curso de Kuno Fischer sobre la filosofía crítica de Kant en Jena, y al curso de Hermann Lotze sobre filosofía de la religión en Gotinga. La influencia de Kant resultaría evidente a lo largo de toda la obra de Frege, mientras que la de Lotze sobre la lógica fue tangible, aunque de carácter circunstancial.

Ernst Abbe

Tras completar su Habilitationsschrift sobre la teoría de los números complejos, Frege regresó a Jena en mayo de 1874 para ocupar el puesto no remunerado de profesor Privatdozent. El puesto fue asegurado para él por el matemático Ernst Abbe, su ángel de la guarda en Jena desde el momento en que llegó como estudiante hasta su cátedra honoraria final. Abbe controlaba la Fundación Carl Zeiss, la cual recibía casi la mitad de todos los beneficios de la fábrica de lentes y cámaras Zeiss (que Abbe había ayudado a fundar a la familia Zeiss), permitiendo que Frege recibiera un estipendio que hizo posible su labor docente.

Enseñó matemáticas en Jena durante el resto de su carrera, desempeñando su trabajo discretamente y con un contacto mínimo con sus estudiantes y colegas. Sin embargo, Rudolf Eucken fue colega de Frege durante más de 40 años en la facultad de filosofía y mantuvo con él estrechos contactos científicos. Antes de que Frege publicara cualquiera de sus obras principales, su madre falleció en 1878.

La revolución lógica: Begriffsschrift

Frege fue uno de los fundadores de la lógica simbólica moderna y defendió la idea de que las matemáticas se pueden reducir a la lógica. Impartió clases sobre todas las ramas de las matemáticas, en particular geometría analítica, cálculo, ecuaciones diferenciales y mecánica, aunque sus publicaciones matemáticas fuera del campo de la lógica son escasas. Sus escritos sobre filosofía de la lógica, filosofía de las matemáticas y filosofía del lenguaje son de capital importancia, reflejados en su célebre afirmación:

Todo buen matemático es al menos medio filósofo, y todo buen filósofo es al menos medio matemático.

 En 1879, cinco años después de regresar a Jena, publicó su primera obra importante: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Conceptografía, un lenguaje formal del pensamiento puro modelado según el de la aritmética). Tal vez sea la mayor contribución individual a la lógica jamás realizada y fue, en cualquier caso, el avance más importante desde Aristóteles.

En esta obra, Frege presentó por primera vez lo que hoy reconoceríamos como un sistema lógico con negación, implicación y cuantificación universal (esencialmente anticipando la idea de las tablas de verdad).

Ernst Schröder

La publicación vino seguida ese mismo año por su promoción a Profesor Extraordinario, nuevamente con el apoyo de Abbe. Sin embargo, la obra no fue bien recibida. Por un lado, la notación era extraordinariamente engorrosa y difícil de penetrar; por otro, Frege omitió mencionar o contrastar su sistema con los avanzados trabajos de George Boole y Ernst Schröder. En su reseña, Schröder ridiculizó el simbolismo idiosincrásico comparándolo con ideas del japonés y desestimando su valor frente a Boole, evidenciando que ni él ni la mayoría de sus contemporáneos habían comprendido el alcance de la obra. A pesar de todo, la Begriffsschrift recibió seis reseñas, de las cuales la mitad eran algo más favorables a pesar de las críticas.

El propio Frege contribuyó a la incomprensión al no distinguir la especificidad de su notación de la sintaxis y semántica lógicas subyacentes. Lo que había creado era un lenguaje formal en el que axiomatizó la lógica cuantificacional de orden superior, derivó teoremas de lógica proposicional, de primer y segundo orden, y definió la relación ancestral, constituyendo un hito indiscutible en la historia del pensamiento moderno

De los fundamentos aritméticos al proyecto de las Grundgesetze

Pronto Frege se desvinculó de la defensa de su notación para retomar el proyecto creativo enunciado en la misma obra:

«Dividimos todas las verdades que requieren justificación en dos tipos: aquellas cuya demostración puede darse de manera puramente lógica y aquellas cuya demostración debe fundamentarse en hechos empíricos. ... Ahora bien, al considerar la cuestión de a cuál de estos dos tipos pertenecen los juicios aritméticos, primero tuve que ver hasta dónde se podía llegar en aritmética únicamente mediante inferencias, apoyado solo por las leyes del pensamiento que trascienden todos los particulares. El camino que tomé fue buscar primero reducir el concepto de ordenación en una serie al de consecuencia lógica, para avanzar luego hacia el concepto de número... (Frege 1879: 48)».

Tras codificar la noción de demostración y consecuencia lógica, Frege investigó el concepto de número cardinal y publicó su estrategia filosófica en 1884: Die Grundlagen der Arithmetik (Los fundamentos de la aritmética). A diferencia de la Begriffsschrift, esta obra carece prácticamente de simbolismo formal y se enfrenta de forma directa a las corrientes empiristas y naturalistas contemporáneas. Frege refutó la metodología de buscar fundamentos basándose en referentes materiales, psicológicos o intuiciones kantianas, codificando su célebre Principio de Contexto (nunca buscar el significado de una palabra de forma aislada, sino en el contexto de una proposición). Los números, conjuntos y valores de verdad pasaron a ser considerados objetos lógicos. También publicó el teorema de Frege, el cual demostraría formalmente una década después. 

Aunque los Grundlagen se consideran hoy una obra maestra escrita en su apogeo creativo, en su momento apenas recibieron atención, destacando únicamente una reseña notablemente hostil y carente de comprensión por parte de Georg Cantor. Además, Frege fue ignorado por Richad Dedekind, criticado por Cantor y descartado por David Hilbert, mientras que su interacción con Husserl —cuyo psicologismo temprano demolió en una reseña de 1894— provocó una enemistad duradera. La formación filosófica de Frege, apoyada en lecturas puntuales y antologías (como la de Baumann de 1868) y marcada por una focalización extrema, acentuó su aislamiento intelectual.

En este periodo de tiempo, Frege contrajo matrimonio con Margarete Lieseberg (1856 - 1904). La ceremonia se celebró en 1887.

Semántica, formalización y la crisis de la paradoja de Russell

Los Grundlagen exigían una culminación formal. En el proceso de formalización, que requirió incorporar la noción de conjunto de la que inicialmente había prescindido, y tras refinar su semántica filosófica, Frege publicó en 1892 ensayos fundamentales como Über Sinn und Bedeutung (Sobre el sentido y la referencia), donde estableció la distinción entre sentido y referencia a través de ejemplos clásicos como el de las denominaciones del planeta Venus. Dicho planeta era conocido como «la estrella de la tarde» y como «la estrella de la mañana» antes de que se comprendiera que ambos eran Venus. Frege argumenta: «la estrella de la tarde = la estrella de la mañana» no tiene el mismo sentido que «la estrella de la tarde = la estrella de la tarde», por lo que «la estrella de la tarde» no tiene el mismo sentido que «la estrella de la mañana». Sin embargo, «la estrella de la tarde» y «la estrella de la mañana» se refieren al mismo objeto, de modo que la referencia de «la estrella de la tarde» es distinta de su sentido. 

En 1893 vio la luz el Volumen 1 de Die Grundgesetze der Arithmetik (Las leyes fundamentales de la aritmética), publicado por Hermann Pohle en Jena bajo la condición de evaluar su acogida comercial. Al igual que con sus obras anteriores, el volumen pasó prácticamente desapercibido (salvo por una reseña de Giuseppe Peano), lo que llevó a Pohle a rechazar la publicación del segundo volumen. Frege sufragó de su propio bolsillo la edición del Volumen 2 diez años más tarde, un volumen marcado por un tono amargo y ataques desusadamente severos contra las teorías de números irracionales de Cantor y Dedekind.

Justo cuando este segundo volumen entraba en imprenta en 1902, Frege recibió una carta de Bertrand Russell fechada el 16 de junio, en la cual le señalaba una contradicción insalvable en su sistema axiomático:

«Estimado colega:

Bertrand Russel

Conozco sus Leyes fundamentales de la aritmética desde hace un año y medio, pero solo ahora he podido encontrar tiempo para el estudio profundo que pretendo dedicar a sus escritos. Me encuentro en pleno acuerdo con usted en todos los puntos principales, especialmente en su rechazo de cualquier elemento psicológico en la lógica y en el valor que atribuye a una notación conceptual para los fundamentos de las matemáticas y de la lógica formal, las cuales, dicho sea de paso, apenas pueden distinguirse. En muchas cuestiones de detalle, encuentro en sus escritos discusiones, distinciones y definiciones que en vano se buscan en otros lógicos. En cuanto a funciones en particular (sección 9 de su Notación conceptual), he sido llevado de forma independiente a las mismas ideas, incluso en el detalle. Solo he encontrado una dificultad en un punto. Usted afirma (pág. 17) que una función también podría constituir el elemento indefinido. Esto es lo que yo solía creer, pero esta postura me parece ahora dudosa debido a la siguiente contradicción: sea $w$ el predicado de ser un predicado que no puede predicarse de sí mismo. ¿Puede $w$ predicarse de sí mismo? De cualquiera de las dos respuestas se sigue su contradictoria. Debemos concluir, por tanto, que $w$ no es un predicado. Del mismo modo, no existe una clase (como un todo) de aquellas clases que, como un todo, no son miembros de sí mismas. De esto concluyo que, en ciertas circunstancias, un conjunto definible no forma un todo (Frege 1980: 130–1)».

A diferencia de Peano, Frege reconoció la paradoja con absoluta integridad intelectual e intentó enmendarla. Tras un nutrido intercambio de cartas entre ambos, Frege modificó uno de sus axiomas y explica en un apéndice del libro que esto se hizo para restaurar la consistencia del sistema. Sin embargo, con este axioma modificado, muchos de los teoremas del Volumen 1 no se sostienen, y Frege debió de ser consciente de ello. Probablemente nunca llegó a darse cuenta de que, incluso con el axioma modificado, el sistema seguía siendo inconsistente, ya que esto solo lo demostró Stanislaw Leśniewski tras la muerte de Frege. 

Declive personal, crisis y últimos años

Con el trabajo de toda su vida hecho pedazos, las energías creativas de Frege se marchitaron. Las paradojas fundacionales se convirtieron en una fuente de inmensa estimulación intelectual (como el propio Frege había conjeturado en una carta a Russell) y sus logros pronto fueron superados por el trabajo de Ernst Zermelo y otros. Para cuando el joven Ludwig Wittgenstein fue a visitarle en 1911 para estudiar los fundamentos de las matemáticas, Frege lo remitió a Russell. 

Las energías creativas de Frege se debilitaron temporalmente. Si bien es cierto que nunca llegó a publicar el proyectado tercer volumen de Grundgesetze, la depresión que lo azotó obedeció a causas mucho más complejas. Un factor determinante fue el fallecimiento de su esposa, Margarete Lieseberg, en 1904, una pérdida tras la cual Frege pareció ensimismarse aún más en su aislamiento. A este golpe se sumaba el doloroso antecedente de haber perdido a todos sus hijos a edades muy tempranas. Ante esta situación, el matrimonio había adoptado a un niño, Alfred, a quien Frege crio en solitario tras quedar viudo. Alfred creció y se convirtió en ingeniero, aunque su vida se truncó al morir en combate durante la Segunda Guerra Mundial.

Personalidad y posturas sociopolíticas tardías

Frege era una persona reservada e introvertida. Sus alumnos relataban que solía impartir sus lecciones mirando directamente a la pizarra, de espaldas al auditorio y hablando en voz baja, de modo que el puñado de estudiantes presentes en el aula apenas podía oírle, salpicando ocasionalmente sus explicaciones con comentarios sarcásticos.

Adolf Hitler

Su carácter y sus opiniones privadas permanecieron en la penumbra durante décadas, dándose a conocer principalmente a través de sus manuscritos y de su diario privado (recuperado por Michael Dummett en los años 70 y publicado póstumamente en 1994). La situación política de Alemania durante el ocaso del Imperio y tras la Revolución de Noviembre de 1918 le afligía enormemente. Contrario al parlamentarismo, al sufragio universal, y al avance democrático, Frege, que en su juventud se consideraba liberal y partidario de Bismarck, radicalizó profundamente sus posturas hacia la extrema derecha en su última etapa vital. Simpatizó con figuras como el general Ludendorff y Adolf Hitler, y su diario de 1924 refleja opiniones de profundo rechazo hacia los franceses, los católicos y los judíos, a quienes consideraba que se les debía privar de derechos y expulsar de Alemania. Estas facetas fueron ignoradas en gran medida por sus contemporáneos dado que nunca las expresó públicamente en el ámbito académico. No obstante, en su trato personal mantuvo dinámicas complejas: uno de sus estudiantes fue Gershom Scholem, un joven judío quien guardaba un gran aprecio por su profesor. También fue el propio Frege quien animó a Ludwig Wittgenstein, otro alumno judío, a marchar a Cambridge para estudiar con Russell como ya se señaló anteriormente.

Actividad investigadora tardía y últimos proyectos

Frege se jubiló formalmente de su cátedra en Jena en 1917. Durante el periodo comprendido entre 1904 y su retiro, apenas publicó contribuciones científicas, limitándose a esporádicos y agrios ataques polémicos contra colegas matemáticos como Thomae. En 1912, Bertrand Russell le invitó a intervenir en un congreso de matemáticas en Cambridge, pero la respuesta de Frege declinando la invitación dejó patente su profundo estado de desánimo, muy alejado de la absoluta autoconfianza en su genio que había exhibido en su juventud.

Sin embargo, a partir de 1918 experimentó un resurgimiento intelectual al publicar importantes artículos sobre la naturaleza de los pensamientos en una revista idealista, textos que conservaban la frescura de su obra temprana y reflejaban la disipación parcial de su depresión. En 1923, tras décadas de labor analítica, Frege llegó a la conclusión radical de que el objetivo que había guiado su carrera —fundamentar la aritmética en la lógica— era erróneo. Decidió entonces que la totalidad de las matemáticas debía basarse en la geometría, un giro absoluto respecto a sus posturas previas. Comenzó a trabajar en estas ideas, pero no logró avanzar demasiado ni llegó a publicar nada al respecto antes de su fallecimiento. Gottlob Frege murió el 26 de julio de 1925, a la edad de setenta y siete años.

Diofanto de Alejandría

Cronología

Diofanto, a menudo conocido como el «padre del álgebra», es célebre por su Arithmetica (una obra fundamental sobre la resolución de ecuaciones algebraicas y la teoría de números) y por un tratado sobre números poligonales. Sin embargo, no se sabe prácticamente nada de su vida, no existen retratos fiables de su aspecto y ha habido un gran debate historiográfico respecto a la época exacta en la que vivió.

Para establecer los límites temporales de su existencia, los historiadores recurren a diversas citas y fuentes cruzadas:

• El límite inferior: Diofanto cita en sus textos la definición de un número poligonal de la obra de Hipsicles, un matemático y astrónomo que vivió entre el 175 a.C. y el 150 a.C., por lo que su obra debe ser posterior a esa fecha.

• El límite superior: Por otro lado, Teón de Alejandría (padre de la famosa matemática Hipatia) citó una de las definiciones de la Arithmetica en el año 364 d.C., lo que sitúa a Diofanto forzosamente antes de ese periodo.

Aunque las fechas exactas de su nacimiento y muerte sigan en penumbra, tradicionalmente se ha conocido la duración de su vida gracias a un famoso acertijo matemático. Este poema algebraico se encuentra en la Antología Griega, una colección de problemas recopilada por Metrodoro alrededor del año 500 d.C.

«Esta tumba contiene a Diofanto. ¡Ah, qué maravilla! Y la tumba relata científicamente la medida de su vida. Dios le concedió que fuera un niño durante la sexta parte de su vida; cuando se añadió una doceava parte, sus mejillas se cubrieron de barba; encendió para él la luz del matrimonio después de una séptima parte, y en el quinto año después de su boda le concedió un hijo. ¡Ay, hijo tardío y miserable! Cuando hubo alcanzado la medida de la mitad de la vida de su padre, la fría tumba se lo llevó. Tras consolar su dolor mediante esta ciencia de los números durante cuatro años, llegó al final de su vida.»

La resolución de la ecuación lineal planteada en este poema da como resultado 84. A partir de este desglose, se deduce la siguiente cronología vital (siempre que el relato no sea totalmente ficticio):

• Infancia: Hasta los 14 años (\frac{1}{6} de su vida).

• Juventud y barba: A los 21 años (tras añadir \frac{1}{12} más).

• Matrimonio: A los 26 años (tras un \frac{1}{7} más).

• Nacimiento de su hijo: A los 31 años (5 años después de casarse).

• Muerte de su hijo: El hijo vivió hasta la mitad de la edad de su padre (42 años) y falleció cuando Diofanto tenía 73 años.

• Muerte de Diofanto: Falleció a los 84 años, tras pasar 4 años mitigando el duelo a través de las matemáticas. 

Arithmetica

La Arithmetica de Diofanto es un compendio que constaba originalmente de 13 libros, de los cuales tradicionalmente se pensaba que solo habían sobrevivido seis a través de la tradición bizantina. No obstante, en 1968 se produjo un hallazgo extraordinario en Irán: un manuscrito árabe que contenía la traducción de los libros IV al VII realizada por el erudito Qusta ibn Luqa (fallecido en 912). Esto amplió de manera significativa el material conocido de esta obra. 

Su obra tenía algunas características matemáticas innovadoras:

• Aceptación de fracciones: A diferencia de la rigidez de otros matemáticos griegos, Diofanto fue el primero en reconocer las fracciones como números en pleno derecho, admitiendo soluciones racionales positivas.
• Rechazo a lo negativo e irracional: No obstante, su visión tenía límites claros. Consideraba «absurdas» o inútiles las ecuaciones que daban resultados negativos o raíces irracionales. Por ejemplo, para él la ecuación $4 = 4x + 20$ carecía de sentido práctico.
• Tres casos para la ecuación de segundo grado: Al no poseer el concepto del cero y para evitar coeficientes negativos, subdividía las ecuaciones cuadráticas en tres categorías distintas:

1. $ax^2 + bx = c$

2. $ax^2 = bx + c$

3. $ax^2 + c = bx$

• Simbología rudimentaria: Introdujo abreviaturas y símbolos especiales para representar potencias (hasta el sexto grado), la sustracción y la igualdad, lo que supuso el primer paso hacia el álgebra simbólica moderna.

Legado

Durante los primeros siglos de nuestra era, Alejandría fue el centro científico por excelencia de Occidente, albergando decenas de miles de rollos de pergamino. Lamentablemente, la inestabilidad política y los fanatismos religiosos acabaron con gran parte de este saber:

• En el 389 d.C., bajo el mandato del emperador Teodosio, se ordenó la destrucción de templos y escritos calificados como «paganos».

• En el 642 d.C., el califa Umar ordenó la quema de los manuscritos restantes por considerarlos «superfluos».

La supervivencia de la Arithmetica y de su tratado sobre números poligonales es casi milagrosa. Cuando el matemático Regiomontano redescubrió los manuscritos en Venecia en 1463, y posteriormente cuando Claude Gaspar Bachet de Méziriac publicó su traducción al latín en 1621, la mecha de la matemática moderna volvió a encenderse. Fue precisamente en los márgenes de una edición de la Arithmetica de Diofanto donde Pierre de Fermat escribió su célebre «Último Teorema de Fermat», consolidando para siempre el legado del sabio alejandrino en la historia de la ciencia.

\(\mathcal L\)ey de Gauss

Al estudiar el campo magnético, denotado por el campo vectorial $\mathbf{B}$, la estructura geométrica de las líneas de campo exhibe un comportamiento cualitativamente distinto. Experimentalmente se observa que, al fragmentar un imán por la mitad, no se obtienen un polo norte y un polo sur aislados, sino dos imanes nuevos, cada uno con su propio par de polos.

La Ley de Gauss para el Magnetismo es la formalización matemática de esta propiedad empírica: la inexistencia de monopolos magnéticos aislados en la naturaleza. Desde la perspectiva de la teoría de campos, esto implica que las líneas de campo magnético son cerradas; no tienen un punto de origen ni un punto de término.

Formalización
Para enunciar esta ley con el rigor propio del análisis matemático, presentaremos el resultado en sus dos variantes clásicas: su forma integral (macroscópica) y su forma diferencial (local).

Definición (Flujo Magnético): Sea $S \subset \mathbb{R}^3$ una superficie orientable y regular, y sea $\mathbf{B}: U \to \mathbb{R}^3$ un campo vectorial continuo definido en un abierto que contiene a $S$. Se define el flujo magnético $\Phi_B$ a través de la superficie $S$ como la integral de superficie de segunda especie:
$$\Phi_B = \iint_{S} \mathbf{B} \cdot d\mathbf{A} = \iint_{S} (\mathbf{B} \cdot \mathbf{n}) \, dS$$
Donde $\mathbf{n}$ es el vector unitario normal a la superficie en cada punto, determinado por la orientación elegida para $S$.

Ley de Gauss: Sea $\mathbf{B}: U \subset \mathbb{R}^3 \to \mathbb{R}^3$ el campo magnético, asumido como un campo vectorial de clase $C^1$ en un dominio abierto $U$. 

En todo punto del abierto $U$, la divergencia del campo magnético es cero: $$\nabla \cdot \mathbf{B} = 0$$

Un campo vectorial que satisface esta propiedad en todo su dominio se denomina campo solenoidal.

\(\mathcal T\)eorema de la divergencia

El Teorema Fundamental del Cálculo establece un puente analítico entre la integral de la derivada de una función sobre un dominio unidimensional y los valores de dicha función en la frontera (los extremos del intervalo):
$$\int_a^b f'(x) \, dx = f(b) - f(a)$$

El Teorema de la Divergencia (también conocido históricamente como Teorema de Gauss o Teorema de Ostrogradsky) constituye la generalización natural de este principio a regiones compactas de dimensión superior en $\mathbb{R}^n$. El teorema establece que la acumulación total de las "fuentes" o "sumideros" de un campo vectorial dentro de un volumen es idéntica al flujo neto de dicho campo a través de la superficie que acota ese volumen.

Antes de enunciar el resultado central, es axiomático formalizar el operador diferencial de segundo orden que mide la tasa de expansión local de un campo.

Definición (Divergencia de un campo vectorial): Sea $U \subset \mathbb{R}^3$ un conjunto abierto y sea $F: U \to \mathbb{R}^3$ un campo vectorial diferenciable de clase $C^1$, cuyas componentes cartesianas son $F = (P, Q, R)$. Se define la divergencia de $F$, denotada indistintamente como $\text{div}(F)$ o $\nabla \cdot F$, como la función escalar:
$$\text{div}(F) = \nabla \cdot F = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}$$

Teorema de la divergencia: Sea $V \subset \mathbb{R}^3$ un dominio compacto y regular (una región acotada cuya frontera $\partial V$ es una superficie cerrada orientable y suave a trozos). Sea $F: U \to \mathbb{R}^3$ un campo vectorial de clase $C^1$ definido en un entorno abierto $U \subset \mathbb{R}^3$ tal que $V \cup \partial V \subset U$.

Entonces, la integral de volumen de la divergencia de $F$ sobre la región $V$ es igual al flujo de la frontera orientado hacia el exterior de $V$:
$$\iiint_V (\nabla \cdot F) \, dV = \iint_{\partial V} (F \cdot \mathbf{n}) \, dS$$
donde $\mathbf{n}$ denota el campo de vectores unitarios normales a la superficie $\partial V$, orientados en sentido exterior (normal saliente).

\(\mathcal T\)heorema Egregium de Gauss

Theorema Egregium de Gauss: La curvatura gaussiana $K$ de una superficie regular es un invariante intrínseco. Esto significa que $K$ depende única y exclusivamente de la primera forma fundamental de la superficie (su métrica) y de sus derivadas de primer y segundo orden, siendo totalmente independiente del modo en que la superficie se configure en el espacio ambiente.