This HTML5 document contains 11 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n9:s_theorem

owl:sameAs

dbpedia-es:Teorema_de_Morera

Subject Item

wikipedia-es:Teorema_de_Morera

foaf:primaryTopic

dbpedia-es:Teorema_de_Morera

Subject Item

dbpedia-es:Teorema_de_Morera

rdfs:label

Teorema de Morera

rdfs:comment

En análisis complejo, una rama de matemáticas, el Teorema de Morera, que recibe el nombre del matemático italiano Giacinto Morera (1856-1909), proporciona un criterio importante para demostrar que una función es holomorfa. Sea una función de variable compleja definida en un conjunto abierto conexo en el plano complejo que satisface para cada curva que sea a trozos en , entonces debe ser holomorfa en . La suposición del Teorema de Morera es equivalente a que tiene una primitiva en .

dct:subject

category-es:Teoremas_de_análisis_matemático

foaf:isPrimaryTopicOf

wikipedia-es:Teorema_de_Morera

dbo:wikiPageID

7762921

dbo:wikiPageRevisionID

120220435

dbo:wikiPageLength

2336

prov:wasDerivedFrom

n4:0

dbo:abstract

En análisis complejo, una rama de matemáticas, el Teorema de Morera, que recibe el nombre del matemático italiano Giacinto Morera (1856-1909), proporciona un criterio importante para demostrar que una función es holomorfa. Sea una función de variable compleja definida en un conjunto abierto conexo en el plano complejo que satisface para cada curva que sea a trozos en , entonces debe ser holomorfa en . La suposición del Teorema de Morera es equivalente a que tiene una primitiva en . El inverso del teorema no es cierto en general. Una función holomorfa no necesita poseer una primitiva en su dominio, a no ser que uno imponga hipótesis adicionales. El inverso sostiene, por ejemplo, que el dominio deber ser simplemente conexo; esto es el teorema integral de Cauchy, el cual declara que la integral de línea de una función holomorfa a lo largo de una curva cerrada es cero.​ El contraejemplo estándar es la función f(z) = , la cual es holomorfa en . En cualquier entorno simplemente conexo U en , tiene una primitiva definida por L(z) = ln(r) + iθ, donde z = reiθ. Debido a la ambigüedad de θ hasta la adición de cualquier múltiplo entero de 2π, cualquier elección continua de θ en U bastará para definir una primitiva de en U. Y porque la derivada de una constante aditiva es 0, cualquier constante puede ser añadida a la primitiva y es todavía una primitiva de . En un sentido seguro, el es el contraejemplo universal: para cada función analítica que no tiene primitiva en su dominio, la razón para esto es que no tiene primitiva en .