| rdfs:comment
| - In mathematics, a diffeology on a set generalizes the concept of smooth charts in a differentiable manifold, declaring what the "smooth parametrizations" in the set are. The concept was first introduced by Jean-Marie Souriau in the 1980s under the name Espace différentiel and later developed by his students and . A related idea was introduced by (陳國才, Chen Guocai) in the 1970s, using convex sets instead of open sets for the domains of the plots. (en)
- 기하학에서, 미분학적 공간(微分學的空間, 영어: diffeological space 디피올로지컬 스페이스[*])은 매끄러운 다양체의 개념의 일반화이다. 미분학적 공간과 매끄러운 다양체 사이의 관계는 위상 공간과 다양체 사이의 관계와 유사하며, 미분학적 공간의 “차원”은 국소적으로 바뀔 수도, 잘 정의되지 않을 수도 있다. (ko)
- En matemática, difeología (inventada primero por Souriau en los 1980, y refinada posteriormente por mucha gente) es una generalización de las variedades (indefinidamente) diferenciables en una categoría más estable. Si X es un conjunto, una difeología en X es un conjunto de funciones (llamadas placas) desde un subconjunto abierto de cierto Espacio euclídeo a X tal que valga lo siguiente: Nótese que los dominios de placas diferentes pueden ser subconjuntos de espacios euclídeos de diferentes dimensiones. Un conjunto junto con una difeología es llamado un espacio difeológico. (es)
|
| has abstract
| - In mathematics, a diffeology on a set generalizes the concept of smooth charts in a differentiable manifold, declaring what the "smooth parametrizations" in the set are. The concept was first introduced by Jean-Marie Souriau in the 1980s under the name Espace différentiel and later developed by his students and . A related idea was introduced by (陳國才, Chen Guocai) in the 1970s, using convex sets instead of open sets for the domains of the plots. (en)
- En matemática, difeología (inventada primero por Souriau en los 1980, y refinada posteriormente por mucha gente) es una generalización de las variedades (indefinidamente) diferenciables en una categoría más estable. Si X es un conjunto, una difeología en X es un conjunto de funciones (llamadas placas) desde un subconjunto abierto de cierto Espacio euclídeo a X tal que valga lo siguiente:
* Toda función constante es una placa
* Para una función dada, si todo punto en el dominio tiene un entorno tal que la restricción de la función a este entorno es una placa, entonces la función misma es una placa.
* Si p es una placa, y f es una función (indefinidamente) diferenciable desde un conjunto abierto de cierto espacio euclídeo en el dominio de p, entonces la composición p ° f es una placa. Nótese que los dominios de placas diferentes pueden ser subconjuntos de espacios euclídeos de diferentes dimensiones. Un conjunto junto con una difeología es llamado un espacio difeológico. Una función entre espacios difeológicos es llamada diferenciable, si y sólo si compuesta con cualquier placa en el primer espacio da una placa en el segundo espacio. Es un difeomorfismo si es diferenciable, biyectivo, y su inverso es también diferenciable. Los espacios difeológicos, junto con las funciones diferenciables como morfismos, forma una categoría. Los isomorfismos en esta categoría son precisamente los difeomorfismos como se definen arriba. Un espacio difeológico tiene la D-topología: la topología más fina tal que todas las placas son continuas. Los abiertos en esta topología son llamados D-abiertos y se especifican como los subconjuntos A de X tales que las pre-imágenes bajo cualquier placa p-1(A) son abiertas en la topología usual de Rn. Si Y es un subconjunto del espacio difeológico X, entonces Y es por sí mismo un espacio difeológico de un modo natural: las placas de Y son aquellas placas de X que tienen imágenes que sean subconjuntos de Y. Cada variedad C∞ tiene una difeología: aquella en que las placas son funciones diferenciables desde los subconjuntos abiertos de espacios euclidianos a la variedad. En particular, cada subconjunto abierto de Rn tiene una difeología. Las variedades C∞ junto con las funciones (indefinidamente) diferenciables se pueden entonces considerar como subcategoría completa de la categoría de espacios difeológicos. Un espacio difeológico donde cada punto tiene una vecindad de la D-topología difeomórfica a un subconjunto abierto de Rn (donde n está fijo) es igual que la difeología generada arriba para una estructura de variedad. La noción de una familia generadora, debida a Patrick Iglesias, es conveniente al definir difeologías: un sistema de placas es una familia generadora para una difeología si la difeología es la más pequeña que contiene todas las placas dadas. En ese caso, también decimos que la difeología es generada por las placas dadas. Si X es un espacio difeológico y ~ es una cierta relación de equivalencia en X, después el conjunto cociente X/~ tiene la difeología generada por todas las composiciones de placas de X con la proyección de X a X/~. Esto se llama la . Observe que la es la D-topología de la difeología del cociente. Esto es una manera fácil de construir difeologías en no-variedades. Por ejemplo, los números reales R son un espacio difeológico (son una variedad). R/(Z + αZ), para algún irracional α, es el toro irracional. Tiene una difeología, pero la D-topología para ella es la . (es)
- 기하학에서, 미분학적 공간(微分學的空間, 영어: diffeological space 디피올로지컬 스페이스[*])은 매끄러운 다양체의 개념의 일반화이다. 미분학적 공간과 매끄러운 다양체 사이의 관계는 위상 공간과 다양체 사이의 관계와 유사하며, 미분학적 공간의 “차원”은 국소적으로 바뀔 수도, 잘 정의되지 않을 수도 있다. (ko)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)