Dominio (análisis matemático)

De testwiki
Revisión del 03:24 14 ene 2025 de imported>InternetArchiveBot (Agregar 1 libro para verificar la verificabilidad (20250110)) #IABot (v2.0.9.5) (GreenC bot)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ir a la navegación Ir a la búsqueda
Dominios conexos (de izquierda a derecha): conexo (o mono-conexo), tri-conexo y tetra-conexo

En análisis matemático, un dominio o región es un conjunto abierto conexo no vacío definido en un espacio topológico, en particular cualquier subconjunto abierto conexo no vacío del espacio de coordenadas reales Plantilla:Math o del espacio de coordenadas complejas Plantilla:Math. Este es un concepto diferente al del dominio de una función, aunque a menudo se usa para ese propósito, como por ejemplo, en ecuaciones en derivadas parciales y en el espacio de Sóbolev.

La idea básica de un subconjunto conexo de un espacio data del Plantilla:Siglo, pero las definiciones precisas varían ligeramente de una generación a otra, de un autor a otro y de una edición a otra, a medida que los conceptos se desarrollaron y los términos se tradujeron entre obras en alemán, francés e inglés. En inglés, algunos autores usan el término dominio,[1] otros usan el término región,[2] algunos otros usan ambos términos indistintamente,[3] y otros definen los dos términos de manera ligeramente diferente;[4] algunos evitan la ambigüedad al ceñirse a una frase como "subconjunto abierto conexo no vacío".[5] Una convención común es definir un "dominio" como un conjunto abierto conexo, pero una "región" como la unión de un dominio con ninguno, algunos o todos sus puntos de acumulación.[6] Una región cerrada o dominio cerrado es la unión de un dominio y de todos sus puntos límite.

Se requieren varios grados de suavidad del límite del dominio para que se mantengan varias propiedades de funciones definidas en el dominio, como teoremas integrales (teorema de Green, teorema de Stokes), propiedades de espacio de Sóbolev y para definir medidas en el límite y los espacios de trazas (funciones generalizadas definidas en el límite). Los tipos de dominios comúnmente considerados son dominios con límite continuo, límite de contorno de Lipschitz, [[Función infinitamente diferenciable|Plantilla:Math]], etc.

Un dominio acotado, como su nombre indica, es aquel que está acotado, mientras que un dominio exterior o dominio externo es el interior del complemento de un dominio acotado.

En análisis complejo, un dominio complejo (o simplemente dominio) es cualquier subconjunto abierto conexo del plano complejo Plantilla:Math. Por ejemplo, todo el plano complejo es un dominio, al igual que el disco unidad abierto, el semiplano superior abierto, etc. A menudo, un dominio complejo sirve como dominio de definición de una función holomorfa. En el estudio de múltiples variables complejas, la definición de un dominio se amplía para incluir cualquier subconjunto abierto conexo de Plantilla:Math.

Notas históricas

Plantilla:Quote

En esta definición, Carathéodory considera obviamente conjuntos no vacíos disjuntos. Según Hans Hahn,[7] el concepto de dominio como un conjunto conexo abierto fue introducido por Constantin Carathéodory en su famoso libro Plantilla:Harv. Hahn también comenta que la palabra "Gebiet" ("Dominio ") se usó anteriormente de vez en cuando como sinónimo de conjunto abierto.[8] El concepto aproximado es más antiguo. En el siglo XIX y principios del XX, los términos "dominio" y "región" a menudo se usaban de manera informal (a veces indistintamente) sin una definición explícita.[9]

Sin embargo, el término "dominio" se utilizó ocasionalmente para identificar conceptos estrechamente relacionados pero ligeramente diferentes. Por ejemplo, en su influyente monografía sobre ecuaciones diferenciales parciales elípticas, Carlo Miranda usa el término "región" para identificar un conjunto conexo abierto,[10][11] y reserva el término "dominio" para identificar un[12] conjunto perfecto internamente conexo, cada punto del cual es un punto de acumulación de puntos interiores,[10] siguiendo a su antiguo maestro Mauro Picone:[13] de acuerdo con esta convención, si un conjunto Plantilla:Math es una región, entonces su clausura Plantilla:Math es un dominio.[10]

Ejemplos

Un ejemplo de un dominio (área gris) cuyo contorno incluye puntos no accesibles
  • En la recta real ℝ=ℝ1, los dominios son intervalos numéricos. El borde de tales dominios siempre son un conjunto de dos puntos como máximo.[14]
  • Un dominio infinitamente conexo se puede obtener quitando de un disco de radio 2 círculos cerrados disjuntos con radios 1,14,142,…,14n,… El borde de este dominio es la circunferencia del círculo de radio 2 y las circunferencias que delimitan los círculos eliminados.
  • La región conexa simple 𝔒 puede tener un borde bastante complicado, que contiene puntos inaccesibles en el siguiente sentido: no hay una curva continua f:⟨a;b⟩→𝔒‾, donde ⟨a;b⟩ es un intervalo cerrado en el eje real de modo que las imágenes de todos los puntos del intervalo, excepto el punto X=f(b) (perteneciente al borde de 𝔒), pertenecen al área 𝔒. Dichos puntos serán, por ejemplo, los puntos del lado derecho del cuadrado en el dibujo adyacente, en el que se han eliminado segmentos perpendiculares alternados desde la parte inferior y superior quitando también los puntos de los lados del cuadrado, acercándose al lado derecho y con longitudes que tienden a la longitud del lado del cuadrado.[15]
  • Cada dos puntos de un dominio ubicados en el plano complejo se pueden unir mediante una cadena poligonal.
Sea un área dada. Para cada X∈𝔒, sea 𝔉X el conjunto de sus puntos en la región 𝔒, que son parte del polígono X. Para cada X∈𝔒 el conjunto 𝔉X es abierto, porque si A∈𝔉X, entonces con el punto X se puede conectar cualquier punto del polígono en la esfera k(A,r)⊂𝔒. Por otro lado, el conjunto:
𝔒∖𝔉X=⋃Y∈𝔒∖𝔉X𝔉Y
también es una colección abierta, por lo tanto, debido a al carácter conexo del conjunto 𝔒, el conjunto 𝔒∖𝔉X=∅, o 𝔉X=𝔒.[16]
  • Esta propiedad es válida para regiones en el espacio euclídeo ℝn,n⩾1 y para regiones del espacio complejo ℂn,n⩾1,, donde hay una poligonal que consta de un número finito de segmentos que conecta dos puntos cualesquiera del dominio.[14]
  • La propiedad anterior también es válida para el dominio de cada espacio vectorial topológico.
  • Cada colección abierta 𝔒⊂ℂ es la suma de áreas, porque:
𝔒=⋃X∈𝔒𝔉X.

Véase también

Referencias

Plantilla:Listaref

Bibliografía

Plantilla:Control de autoridades

  1. ↑ Por ejemplo Plantilla:Harv.
  2. ↑ Por ejemplo Plantilla:Harv;Plantilla:Harv;Plantilla:Harv reserva el término "dominio" para el dominio de una función;Plantilla:Harv utiliza el término región para un conjunto abierto conexo y el término continuo para un conjunto cerrado conexo.
  3. ↑ por ejemplo Plantilla:Harv;Plantilla:Harv.
  4. ↑ Por ejemplo Plantilla:Harv, que no requiere que una región sea conexa o abierta.
  5. ↑ Por ejemplo Plantilla:Harv generalmente usa la frase conjunto conexo abierto, pero luego define dominio simplemente conexo (§9.7 p. 215); Plantilla:Cite web
  6. ↑ Por ejemplo Plantilla:Harv;Plantilla:Harv;Plantilla:Harv
  7. ↑ See Plantilla:Harv.
  8. ↑ Plantilla:Harvtxt, comentando la definición recién dada de conjunto abierto ("offene Menge"), establece con precisión:-"Vorher war, für diese Punktmengen die Bezeichnung "Gebiet" in Gebrauch, die wir (§ 5, S. 85) anders verwenden werden." (Traducción libre al español: -"Anteriormente, el término "Gebiet" se usaba ocasionalmente para tales conjuntos de puntos, y lo usaremos en (§ 5, p. 85) con un significado diferente."
  9. ↑ Por ejemplo Plantilla:Harv utiliza el término región informalmente en todas partes (p. ej. §16, p. 21) junto con la expresión informal parte del plano Plantilla:Mvar, y define el dominio de un punto Plantilla:Mvar para una función Plantilla:Mvar para ser el [[Entorno (matemática)|entorno Plantilla:Mvar]] más grande de Plantilla:Mvar en el que Plantilla:Mvar es holomorfa (§32, p. 52). La primera edición de A Course of Modern Analysis Plantilla:Harv usa los términos "dominio" y "región" de manera informal y aparentemente intercambiable. En la segunda edición,Plantilla:Harv define una región abierta como el interior de una curva simple cerrada, y una región cerrada o dominio como la región abierta junto con su curva límite.Plantilla:Harv define région [región] o aire [área] como una parte conexa del plano.Plantilla:Harv define una "región" o "dominio" como una parte conexa del plano complejo que consta solo de puntos internos.
  10. ↑ 10,0 10,1 10,2 See Plantilla:Harv.
  11. ↑ Precisamente, en la primera edición de su monografía,Plantilla:Harvtxt utiliza el término italiano "campo", que tiene literalmente el significado utilizado en agricultura: en la segunda edición del libro, Zane C. Motteler traduce apropiadamente este término como "región".
  12. ↑ Un conjunto internamente conexo es un conjunto cuyo interior está conectado.
  13. ↑ Véase Plantilla:Harv.
  14. ↑ 14,0 14,1 Математическая энциклопедия, t. 3, Коо-Од, op. cit., s. 1098.
  15. ↑ Plantilla:Cita libro
  16. ↑ Kuratowski, op. cit., s. 257.
Obtenido de «https://es.wiki.beta.math.wmflabs.org/w/index.php?title=Dominio_(análisis_matemático)&oldid=12275»