En general, una proyección en matemáticas es un función matemática mapeo de un conjunto (o de una estructura matemática) que es idempotente, es decir, que la proyección es igual a la composición consigo misma. Una proyección puede referirse también a un mapeo que tenga inversa izquierda, quedando ambas nociones fuertemente relacionadas como sigue:
La conmutatividad de este diagrama es la universalidad de la proyección π, para cualquier mapeo f y conjunto X.
Sea p un mapeo idempotente de un conjunto E en sí mismo (es decir, p∘p = p) y sea F=pp(E) la imagen de p. Denotando por π al mapeo p como mapeo desde E en F y por i la función inyectiva asociada de F en E, tenemos entonces que i∘π = IdF; por otro lado i∘π = IdF implica que π∘i es idempotente.
-La noción de proyección aparece originalmente en el contexto de la geometría euclidiana para denotar la proyección del espacio euclidiano de dimensión 3 sobre un plano contenido en él. Las dos principales proyecciones de este tipo son:
La proyección de un punto en un plano o proyección central: Si C es el punto denominado centro de la proyección, la proyección de un punto P distinto de C es la intersección de la línea CP con el plano. Si los puntos P son tales que la línea CP es paralela al plano, entonces no existe imagen bajo la proyección.
La proyección en un plano paralelo a la direcciónD: La imagen de un punto P es la intersección con el plano de la línea paralela a D que pasa por P.
Varias otras proyecciones, denominadas mapeos de proyección se definieron por las necesidades de la cartografía, mientras que varias proyección tridimensional proyecciones tridimensionales están en el centro de la teoría de la perspectiva.
La necesidad de unificar ambos tipos de proyecciones y definir la imagen bajo una proyección central de cualquier punto distinto del centro de proyección da origen a la geometría proyectiva.
La noción original de proyección se ha extendido o generalizado a varios contextos matemáticos, los cuales con frecuencia tienen alguna relación con la geometría. A continuación se proporcionan algunos ejemplos:
Cualquier operación caracterizada por el j-eximo mapeo de proyección, escrito troyj&Mbps;, que toma una elemento x = (x1,..., xj&Mbps;,..., xk) del producto cartesianoX1 × … × Xj × … × Xk al valor proyj(x) = xj. Este mapeo siempre es suprayectivo.
El mapeo de evaluación envía una función f al valor f(c) para cualquier valor fijo c. El espacio de funciones YX se puede identificar con el producto cartesiano , y el mapeo evaluación es un mapeo de proyección desde el producto cartesiano.
En teoría de categorías, el concepto mencionado de producto cartesiano de productos se generaliza a categorías arbitrarias. El producto de ciertos objetos tiene un morfismo canónico de proyección en cada factor. Esta proyección puede tener formas diversas en categorías diferentes: la proyección del producto cartesiano de conjuntos, de la topología producto de espacios topológicos (que es siempre un mapeo abiertosuprayectivo), o del producto directo de grupos, etc. Aunque estos morfismos son por lo regular epimorfismos, esto no tiene porqué ser necesariamente así.
En álgebra lineal, una transformación lineal que permanece invariante al ser aplicada dos veces (p(u) = p(p(u))), es decir, un operador idempotente. Por ejemplo, el mapeo que lleva un punto (x, y, z) al punto (x, y, 0) en el plano es una proyección. Este tipo de proyección se generaliza de forma natural a un número arbitrario de dimensiones, tanto para el dominio como para el contradominio. En el caso de proyecciones ortogonales, el espacio admite una descomposición como producto y el operador de proyección corresponde a una proyección en ese otro contexto.
En topología, un retracto es un mapeo continuo r: X → X que se restringe a la identidad en su imagen. Esto satisface una condición de idempotencia r2 = r y puede considerarse una generalización del mapeo de proyección. Un retracto que es homotópico a la identidad se denomina retracto de deformación. El término también se usa en teoría de categorías para referirse a cualquier epimorfismo que se separa.
Datos:Q13415428
Agosto 03, 2021
proyección, matemáticas, general, proyección, matemáticas, función, matemática, mapeo, conjunto, estructura, matemática, idempotente, decir, proyección, igual, composición, consigo, misma, proyección, puede, referirse, también, mapeo, tenga, inversa, izquierda. En general una proyeccion en matematicas es un funcion matematica mapeo de un conjunto o de una estructura matematica que es idempotente es decir que la proyeccion es igual a la composicion consigo misma Una proyeccion puede referirse tambien a un mapeo que tenga inversa izquierda quedando ambas nociones fuertemente relacionadas como sigue La conmutatividad de este diagrama es la universalidad de la proyeccion p para cualquier mapeo f y conjunto X Sea p un mapeo idempotente de un conjunto E en si mismo es decir p p p y sea F pp E la imagen de p Denotando por p al mapeo p como mapeo desde E en F y por i la funcion inyectiva asociada de F en E tenemos entonces quei p IdF por otro ladoi p IdFimplica que p ies idempotente La nocion de proyeccion aparece originalmente en el contexto de la geometria euclidiana para denotar la proyeccion del espacio euclidiano de dimension 3 sobre un plano contenido en el Las dos principales proyecciones de este tipo son La proyeccion de un punto en un plano o proyeccion central Si C es el punto denominado centro de la proyeccion la proyeccion de un punto P distinto de C es la interseccion de la linea CP con el plano Si los puntos P son tales que la linea CP es paralela al plano entonces no existe imagen bajo la proyeccion La proyeccion en un plano paralelo a la direccion D La imagen de un punto P es la interseccion con el plano de la linea paralela a D que pasa por P Varias otras proyecciones denominadas mapeos de proyeccion se definieron por las necesidades de la cartografia mientras que varias proyeccion tridimensional proyecciones tridimensionales estan en el centro de la teoria de la perspectiva La necesidad de unificar ambos tipos de proyecciones y definir la imagen bajo una proyeccion central de cualquier punto distinto del centro de proyeccion da origen a la geometria proyectiva La nocion original de proyeccion se ha extendido o generalizado a varios contextos matematicos los cuales con frecuencia tienen alguna relacion con la geometria A continuacion se proporcionan algunos ejemplos En teoria de conjuntos Cualquier operacion caracterizada por el j eximo mapeo de proyeccion escrito troyj amp Mbps que toma una elemento x x1 xj amp Mbps xk del producto cartesiano X1 Xj Xk al valor proyj x xj Este mapeo siempre es suprayectivo Un mapeo que toma un elemento a su clase de equivalencia bajo cualquier relacion de equivalencia se conoce como una proyeccion canonica El mapeo de evaluacion envia una funcion f al valor f c para cualquier valor fijo c El espacio de funciones YX se puede identificar con el producto cartesiano i X Y i displaystyle prod i in X Y i y el mapeo evaluacion es un mapeo de proyeccion desde el producto cartesiano En teoria de categorias el concepto mencionado de producto cartesiano de productos se generaliza a categorias arbitrarias El producto de ciertos objetos tiene un morfismo canonico de proyeccion en cada factor Esta proyeccion puede tener formas diversas en categorias diferentes la proyeccion del producto cartesiano de conjuntos de la topologia producto de espacios topologicos que es siempre un mapeo abiertosuprayectivo o del producto directo de grupos etc Aunque estos morfismos son por lo regular epimorfismos esto no tiene porque ser necesariamente asi En algebra lineal una transformacion lineal que permanece invariante al ser aplicada dos veces p u p p u es decir un operador idempotente Por ejemplo el mapeo que lleva un punto x y z al punto x y 0 en el plano es una proyeccion Este tipo de proyeccion se generaliza de forma natural a un numero arbitrario de dimensiones tanto para el dominio como para el contradominio En el caso de proyecciones ortogonales el espacio admite una descomposicion como producto y el operador de proyeccion corresponde a una proyeccion en ese otro contexto En topologia un retracto es un mapeo continuo r X X que se restringe a la identidad en su imagen Esto satisface una condicion de idempotencia r2 r y puede considerarse una generalizacion del mapeo de proyeccion Un retracto que es homotopico a la identidad se denomina retracto de deformacion El termino tambien se usa en teoria de categorias para referirse a cualquier epimorfismo que se separa Datos Q13415428Obtenido de https es wikipedia org w index php title Proyeccion matematicas amp oldid 130306295, wikipedia, wiki, leyendo, leer, libro, biblioteca,
