Proyección (teoría de conjuntos)

En teoría de conjuntos , una proyección es uno de dos tipos de funciones u operaciones estrechamente relacionados, a saber:

• Una operación de teoría de conjuntos tipificada por el mapa de proyección ^th , escrita que lleva un elemento del producto cartesiano al valor ^[1] ${\displaystyle j}$ ${\displaystyle \mathrm {proj} _{j},}$ ${\displaystyle {\vec {x}}=(x_{1},\ \dots ,\ x_{j},\ \dots ,\ x_{k})}$ ${\displaystyle (X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})}$ ${\displaystyle \mathrm {proj} _{j}({\vec {x}})=x_{j}.}$
• Una función que envía un elemento a su clase de equivalencia bajo una relación de equivalencia especificada ^[2] o, de manera equivalente, una sobreyección de un conjunto a otro conjunto. ^[3] La función de elementos a clases de equivalencia es una sobreyección, y cada sobreyección corresponde a una relación de equivalencia bajo la cual dos elementos son equivalentes cuando tienen la misma imagen. El resultado del mapeo se escribe como cuando se entiende, o se escribe como cuando es necesario hacer explícito. ${\displaystyle x}$ ${\displaystyle E,}$ ${\displaystyle [x]}$ ${\displaystyle E}$ ${\displaystyle [x]_{E}}$ ${\displaystyle E}$

Ver también

• Producto cartesiano  : conjunto matemático formado a partir de dos conjuntos dados
• Proyección (matemáticas)  : mapeo igual a su cuadrado bajo la composición del mapeo
• Proyección (teoría de la medida)
• Proyección (álgebra lineal)  : transformación lineal idempotente de un espacio vectorial a sí mismo
• Proyección (álgebra relacional)  : operación que restringe una relación a un conjunto específico de atributos
• Relación (matemáticas)  : relación entre dos conjuntos, definida por un conjunto de pares ordenados

Referencias

1. Halmos, PR (1960), Teoría ingenua de conjuntos, Textos de pregrado en matemáticas , Springer, pág. 32, ISBN 9780387900926.
2. Marrón, Arlen; Pearcy, Carl M. (1995), Introducción al análisis, Textos de posgrado en matemáticas, vol. 154, Springer, pág. 8, ISBN 9780387943695.
3. Jech, Thomas (2003), Teoría de conjuntos: edición del tercer milenio, Monografías de Springer en Matemáticas, Springer, p. 34, ISBN 9783540440857.