사영

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 여러 분야에서의 활용
참조

1. 개요

사영은 자기 자신과의 합성 결과가 같은 멱등원인 사상 또는 오른쪽 역원을 갖는 사상을 의미한다. 사영의 개념은 집합론, 관계형 데이터베이스, 구면 기하학, 선형대수학, 미분 위상수학, 위상수학, 범주론 등 다양한 수학 분야에서 활용된다. 예를 들어, 집합론에서는 데카르트 곱의 원소를 특정 성분으로 보내는 사영 맵이 있으며, 선형대수학에서는 멱등원인 선형 변환을 사영이라고 한다.

더 읽어볼만한 페이지

수학 용어 - 정리
정리는 논리학과 수학에서 공리를 바탕으로 증명된 참인 명제로서, "만약 A이면 B이다" 형태의 가정적 조건문으로 표현되며, 수학 외 다양한 분야에서도 사용되지만 수학에서의 엄밀한 증명과는 차이가 있다.
수학 용어 - 이론
이론은 특정 주제를 이해, 설명, 예측하기 위한 분석적 도구로, 논리적 원칙을 따르며, 과학에서는 관찰과 실험으로 확인된 사실에 기반한 자연 세계에 대한 설명으로, 반증 가능성을 지니고 학문 분야에서 지식 축적과 논리적 설명에 필수적인 역할을 한다.

사영
일반
중심 사영
유형	사영
성질	멱등
정의
설명	수학에서 사영(射影, projection)은 어떤 집합에서 다른 집합으로의 사상으로서, 사상과 사상을 합성한 결과가 원래의 사상과 같은 멱등성을 만족시키는 사상이다.
상세
설명	* 가 사영이다.
예시
설명
같이 보기
관련 항목

2. 정의

어떤 맵 와 집합 에 대해, 이 그림의 가환성은 사영 의 보편성을 나타낸다.

3. 여러 분야에서의 활용

사영의 원래 개념은 여러 수학적 상황으로 확장되거나 일반화되었다. 이는 기하학과 관련이 있는 경우가 많지만, 항상 그런 것은 아니다.

집합론에서는 원소를 주어진 동치 관계에 따른 동치류로 보내거나, 고정된 x에 대해 함수 f를 f(x) 값으로 보내는 매핑을 사영이라 한다.
관계형 데이터베이스 및 질의 언어에서 사영은 특정 속성 집합으로 튜플을 제한하는 단항 연산이다.
구면 기하학에서 구를 평면으로 사영하는 것은 프톨레마이오스가 그의 저서 Planisphaerium에서 사용했으며, 스테레오그래픽 사영 등으로 알려져 있다.
선형대수학에서 사영은 두 번 적용해도 변하지 않는 선형 변환으로, 멱등원 연산자를 의미한다.
미분 위상수학에서 모든 올다발은 정의의 일부로 사영 맵을 포함하며, 이는 국소적으로 곱 위상의 사영 맵과 같다.
위상수학에서 수축은 그 이미지에 대한 항등 사상으로 제한되는 연속 사상이며, 사영 맵의 일반화로 간주될 수 있다.
한 벡터를 다른 벡터로 스칼라 투영하는 경우가 있다.
범주론에서 집합의 데카르트 곱 개념은 임의의 범주로 일반화될 수 있으며, 곱은 각 인자에 대한 표준 사영 사상을 갖는다.

3. 1. 집합론

''j''^번째 사영 맵으로 전형화된 연산은 $\text{proj}_j$ 로 표기되며, 데카르트 곱 $X_1 \times \cdots \times X_j \times \cdots \times X_n$ 의 원소 $\mathbf{x} = (x_1, \dots, x_j, \dots, x_n)$ 를 값 $\text{proj}_j(\mathbf{x}) = x_j$ 로 보낸다.^[1] 이 맵은 항상 전사 함수이며, 각 공간 $X_k$ 에 위상이 있는 경우 이 맵은 또한 연속이며 열린 사상이다.^[2]
원소를 주어진 동치 관계 하에서의 동치류로 보내는 매핑은 표준 사영으로 알려져 있다.^[3]
평가 맵은 고정된 $x$ 에 대해 함수 $f$ 를 값 $f(x)$ 로 보낸다. 함수 공간 $Y^X$ 는 데카르트 곱 $\prod_{i \in X} Y$ 로 식별될 수 있으며, 평가 맵은 데카르트 곱으로부터의 사영 맵이다.

3. 2. 관계형 데이터베이스

관계형 데이터베이스 및 질의 언어에서 사영은

\Pi_{a_1, \ldots,a_n}( R )

로 표기되는 단항 연산이다. 여기서

a_1,\ldots,a_n

은 속성 이름의 집합이다. 이러한 사영의 결과는 R의 모든 튜플이

\{a_1,\ldots,a_n\}

집합으로 제한될 때 얻어지는 집합으로 정의된다.^[4]^[5]^[6] R은 데이터베이스 관계이다.

3. 3. 기하학

구면 기하학에서 구를 평면으로 사영하는 방법은 프톨레마이오스가 그의 저서 Planisphaerium에서 사용했다.(~150)^[7] 이 방법은 스테레오그래픽 사영이라고 하며, 구에 접선인 평면과 접점의 반대편에 있는 극 C를 사용한다. C를 제외한 구 위의 모든 점 P는 P에 대해 사영된 점에서 평면과 교차하는 선 CP를 결정한다.^[8] 이 대응은 무한대에서의 점이 C에 대응하도록 포함될 때 구를 평면에 대한 일점 컴팩트화로 만들며, 그렇지 않은 경우에는 평면에 대한 사영이 없다. 일반적인 예시는 리만 구에 대응하는 컴팩트화가 있는 복소 평면이다. 또는 반구는 정사영을 사용하여 평면으로 사영되는 경우가 많다.

3. 4. 선형대수학

선형대수학에서 사영은 두 번 적용해도 변경되지 않는 선형 변환을 의미한다. 즉, 를 만족하는 멱등원 연산자이다.^[9] 예를 들어, 3차원에서 점 를 으로 보내는 매핑은 사영이다. 이러한 유형의 사영은 매핑의 정의역에 대해 차원, 공역에 대해 차원으로 자연스럽게 일반화될 수 있다. 직교 사영의 경우 공간은 곱으로 분해될 수 있으며, 사영 연산자는 그 의미에서도 사영이다.^[10]

3. 5. 미분 위상수학

올다발은 정의의 일부로 사영 맵을 포함한다. 적어도 국소적으로 이 맵은 곱 위상의 의미에서 사영 맵과 같으며, 따라서 열린 사상이고 전사 함수이다.^[12]

3. 6. 위상수학

위상수학에서 수축은 연속 사상이며, 그 이미지에 대한 항등 사상으로 제한된다.^[11] 이는 멱등 조건을 만족하며, 사영 사상의 일반화로 간주될 수 있다. 수축의 이미지는 원래 공간의 수축이라고 한다. 항등 사상에 호모토피인 수축은 변형 수축으로 알려져 있다.

3. 7. 범주론

범주론에서, 집합의 데카르트 곱 개념은 임의의 범주로 일반화될 수 있다. 일부 대상의 곱은 각 인자에 대한 '''표준 사영''' 사상을 갖는다.^[12] 특수한 경우로 집합의 데카르트 곱에서의 사영, 위상 공간의 곱 위상(항상 전사 함수이고 열린 사상) 또는 군의 직접곱에서의 사영 등이 있다. 이러한 사상은 종종 에피모피즘이거나 전사 함수일 수 있지만, 그럴 필요는 없다.^[12]

참조

_[1] 웹사이트 Direct product - Encyclopedia of Mathematics https://encyclopedia[...] 2021-08-11
_[2] 서적 Introduction to Smooth Manifolds https://zenodo.org/r[...] 2012
_[3] 서적 An Introduction to Analysis https://books.google[...] Springer Science & Business Media 1994-12-16
_[4] 서적 Relational Database Technology https://books.google[...] Springer Science & Business Media 2012-12-06
_[5] 서적 The Relational Database Dictionary: A Comprehensive Glossary of Relational Terms and Concepts, with Illustrative Examples https://books.google[...] "O'Reilly Media, Inc." 2006-08-28
_[6] 웹사이트 Relational Algebra https://www.cs.roche[...] 2021-08-29
_[7] 논문 The Arabic version of Ptolemy's Planisphere or Flattening the Surface of the Sphere: Text, Translation, Commentary http://individual.ut[...] 2021-08-11
_[8] 웹사이트 Stereographic projection - Encyclopedia of Mathematics https://encyclopedia[...] 2021-08-11
_[9] 웹사이트 Projection - Encyclopedia of Mathematics https://encyclopedia[...] 2021-08-11
_[10] 서적 Advanced Linear Algebra https://books.google[...] Springer Science & Business Media 2007-09-20
_[11] 웹사이트 Retraction - Encyclopedia of Mathematics https://encyclopedia[...] 2021-08-11
_[12] 웹사이트 Product of a family of objects in a category - Encyclopedia of Mathematics https://encyclopedia[...] 2021-08-11

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com