이중성(수학)

수학에서 이중성은 무의식적인 연산을 통해 개념, 정리 또는 수학적 구조를 다른 개념, 정리 또는 구조로 1대1 방식으로 종종(그러나 항상은 아님) 번역한다: A의 이중성이 B라면 B의 이중성이 A이다. 그러한 비자발성은 때로는 고정된 포인트를 가지고 있어서 A의 이중성이 A 그 자체라고 할 수 있다. 예를 들어, 데스아게스의 정리는 투사 기하학에서 표준 이중성 하에서는 이런 의미에서 자기 이중성이다.

수학적인 맥락에서 이중성은 수많은 의미를 가지고 있다.^[1] 「(현대) 수학에 있어서 매우 만연하고 중요한 개념」^[2]과 「수학의 거의 모든 영역에서 발현되는 중요한 일반적 주제」^[3]라고 기술되어 왔다.

두 종류의 물체 사이의 많은 수학적인 이중성은 한 종류의 물체와 두 번째 유형의 다른 물체에서 일부 스칼라 계열로 이린 함수인 쌍에 해당한다. 예를 들어, 선형 대수 이중성은 벡터 공간 쌍에서 스칼라 쌍까지 이선형 맵에 해당하며, 분포와 관련 시험 함수 사이의 이중성은 시험 함수에 대한 분포를 통합하는 쌍에 해당하며, 푸앵카레 이중성은 교차로 번호인 viewe와 유사하게 일치한다.d 주어진 다지관의 서브매니폴드 사이의 결합으로서.^[4]

카테고리 이론의 관점에서, 이중성은 적어도 벡터 공간의 영역에서는 functor로도 볼 수 있다. 이 펑터는 각 공간에 이중 공간을 할당하고 풀백 구조는 각 화살표 f: V → W의^∗ 이중 f^∗: W → V에^∗ 할당한다.

소개 사례

마이클 아티야의 말에 따르면

수학의 이중성은 정리가 아니라 '원칙'^[5]이다.

다음의 예시 목록은 많은 이중성의 공통적인 특징을 보여주지만, 이중성의 정확한 의미는 경우에 따라 다를 수 있다는 것을 나타낸다.

부분 집합 보완

단순하고 아마도 가장 단순한 이중성은 고정 집합 $S$ 의 하위 집합을 고려함으로써 발생한다. 어떤 부분집합 ⊆에 대하여, 보완은 $A$ 에 포함되지 $않은$ S의 모든 원소로 구성된다. 그것은 다시 $S$ 의 부분집합이다. 보어 획득에는 다음과 같은 특성이 있다.

그것을 두 번 적용하면 원래의 세트(), 즉 $A c c ()$ = . 보어(보어)를 가져가는 조작은 비자발적인 것이라고 하여 언급하고 있다.
세트 ⊆의 포함은 반대 방향 ⊆의 포함으로 변한다.
$S$ 의 A와 $B$ 의 두 $하위$ 집합에 대해, $A$ 는 $B$ 가 에 포함된 경우에만 에 포함된다.

이 이중성은 위상에 고정 위상학적 공간 $X$ 의 열린 부분 집합과 닫힌 부분 집합 사이의 이중성으로 나타난다: $X$ 의 $부분집합$ U는 $X$ 의 보완이 열린 경우에만 닫힌다. 이 때문에 폐쇄형 세트에 대한 많은 이론은 오픈 세트에 대한 이론과 이중적이다. 예를 들어, 오픈 세트의 조합은 개방되어 있기 때문에, 일반적으로 폐쇄된 세트의 교차로들은 폐쇄된다. 세트의 내부는 그 안에 들어 있는 가장 큰 오픈 세트로, 세트의 폐쇄는 세트가 들어 있는 가장 작은 폐쇄 세트다. 이중성 때문에 어떤 세트 $U$ 의 내부 보완은 $U$ 의 보완재가 닫히는 것과 같다.

듀얼 콘

세트

C(파란색) 및 듀얼 콘(빨간색)

기하학의 이중성은 듀얼 콘 구조에 의해 제공된다. Given a set $C$ of points in the plane $\mathbb {R} ^{2}$ (or more generally points in $\mathbb {R} ^{n}$ ), the dual cone is defined as the set $C^{*}\subseteq \mathbb {R} ^{2}$ consisting of those points $(x_{1},x_{2})$ $(x_{1},x_{2})$ $(x_{1},x_{2})$ $(x_{1},x_{2})$ ) ${\displaystyle(x_{1},x_{2}}$ 충족 $(x_{1},x_{2})$

x_{1}c_{1}+x_{2}c_{2}}\geq 0

다이어그램에 표시된 대로

{\displaystyle(c_

{1},c_{2})

의

(c_{1},c_{2})

모든 포인트

(c_{1},c_{2})

(c_{1},c_{2})

,

(c_{1},c_{2})

(c_{1},c_{2})

)에 대해

C

사실은 이중 콘 건설을 적용하는 두번 원본 C{C\displaystyle}환수될 세트 위에 언급한 보완원과 달리, 전반적인. 대신에, C∗ ∗{\displaystyle C^{ 열리는**}}은 이는 C보다 클 수 있는 작은 cone[7]C{C\displaystyle}이 들어 있는{C\displaystyle}. 여는 것이 아니다.음.정말따라서 이 이중성은 위의 이중성보다 약하다.

작업을 두 번 적용하면 더 큰 세트가 반환된다. $모든$ C $C^{**}$ ${\displaystyle C$ $C^{**}$ 에 대해 $C$ $C$ ${\$ 에 포함되어 있다 $C$ $C^{**}$ $일부$ C ${\displaystyle C$ 즉 콘의 경우, 두 개가 실제로 동일함).

나머지 두 가지 특성은 변경 없이 계속된다.

$C\subseteq D$ $C\subseteq D$ $C\subseteq D$ D $C\subseteq D$ 이 $C\subseteq D$ (가) 반대 방향으로 포함( $D^{*}\subseteq C^{*}$ $D^{*}\subseteq C^{*}$ ⊆ $D^{*}\subseteq C^{*}$ ⊆ ⊆ { { $D^{*}\subseteq C^{*}$ {\ $displaystyle$ D $^{*}\subseteq$ C $^{*}).$
평면의 $D$ 두 하위 집합 $C$ ${\displaystyle$ $C$ $}$ 과 $C$ D ${\$ $displaystyle C}$ 이(가) 있는 경우, D ${\$ $displaystyle$ D $^{*}$ 에 $D$ {\ $displaystyle$ $D$ $}$ 이 $D$ $C^{*}$ 가) $C^{*}$ 되어 있는 경우에만 $D^{*}$ $C$ $D^{*}$ ${\$ C $^{*}$ 에 포함된다 $C$ $C^{*}$

이중 벡터 공간

이중성의 매우 중요한 예는 어떤 벡터 공간 $V$ 에 그것의 이중 벡터 공간과 연관됨으로써 선형 대수학에서 발생한다. 그것의 요소는 선형 함수 $\varphi :V\to k$ : $\varphi :V\to k$ → k $\varphi :V\to k$ 이다 $\varphi :V\to k$ 여기서 $k$ 는 $V$ 가 정의되는 필드다. 듀얼 콘의 세 가지 특성은 R $\mathbb {R} ^{2}$ ${\$ 의 서브셋을 벡터 공간으로 $\mathbb {R} ^{2}$ 대체하고 이러한 서브셋을 선형 지도로 포함시킴으로써 이러한 유형의 이중성으로 이어지게 된다. 즉,

이중 벡터 공간을 두 번 사용하는 연산을 적용하면 또 다른 벡터 공간이 생긴다. 항상 지도가 있다 → . 어떤 $V$ , 즉 정확히 유한차원 벡터 공간에서는 이 지도가 이형상이다.
선형 지도 → 반대 방향의 지도 ( $\to W *$ )를 낳는다.
두 개의 벡터 공간 $V$ 와 $W$ 가 주어지면, $V$ 에서 $W$ 에서 와의 지도에 해당하는 맵이 주어진다.

이 이중성의 특별한 특징은 $V$ 와 특정 물체, 즉 유한차원 벡터 공간과 같은 이형체라는 점이다. 그러나 이것은 어떤 의미에서는 행운의 우연인데, 그러한 이형성을 부여하려면 일정한 선택이 필요하기 때문에, 예를 들어 $V$ 의 기초의 선택이 필요하다. 이는 리에즈 표현 정리를 통해 V가 힐버트 공간인 경우에도 마찬가지다.

갈루아 이론

앞에서 논의한 모든 이중성에서, 물체의 이중성은 물체 그 자체와 같은 종류의 것이다. 예를 들어 벡터 공간의 이중은 다시 벡터 공간이다. 많은 이중성 진술들은 이런 종류의 것이 아니다. 그 대신, 그러한 이중성은 겉으로 보기에 다른 성질의 사물들 사이의 밀접한 관계를 드러낸다. 그러한 보다 일반적인 이중성의 한 예는 갈루아 이론에서 나온 것이다. 고정 Galois 확장/ 의 경우, Galois $그룹$ Gal $(/) K E$ 을 중간 필드 $E$ (즉, ⊆ $).$ )에 연결할 수 있다. 이 그룹은 Galois 그룹 = $Gal(/) K F$ 의 하위 그룹이다. 반대로, 그러한 부분군 ⊆에는 $H$ 의 원소에 의해 고정된 원소로 구성된 고정된 장이 있다.

위와 비교했을 때 이 이중성은 다음과 같은 특징을 가지고 있다.

중간장 $\subseteq$ 의 확장은 반대 방향인 $갈루아$ 집단을 포함시킨다: 갈(/) $K F ($ 갈 $(/). K F$
$Gal(/) K E$ 을 $E$ 와 $H$ 에 연결하는 것은 서로 반비례한다. 이것이 갈루아 이론의 근본적인 정리의 내용이다.

주문 역전 이중성

\subset

에 의해 부분적으로

발주된 {1,2

,3,4

}

의 동력 집합 하세 다이어그램. 이중 포셋, 즉

\supset

에 의한 주문은 도표를 거꾸로 돌려 얻어진다. 녹색 노드는 각각 원본과 이중 순서로 상위 집합과 하위 집합을 형성한다.

포셋= (, $X \leq)$ (부분적으로 순서가 정해진 세트의 줄임말, 즉 순서의 개념은 있지만 서로 상대적인 순서로 반드시 두 요소를 배치할 수 없는 세트)의 경우, 이중 포셋 = $(, X$ ))은 동일한 지면 세트와 반대 관계를 구성한다. 이중 부분 주문의 익숙한 예는 다음과 같다.

고정 집합 $S$ 의 하위 집합과 같은 집합 집합의 집합에 대한 부분 집합과 상위 집합 관계 $\subset$ 및 $\supset.$ 이것은 위에서 언급한 이중성의 첫 번째 예를 낳는다.
정수의 분열과 다중 관계
인간 집합의 후예와 조상 관계

이중성 변환은 부분적으로 순서가 정해진 $S$ 의 비자발적 반유동성 $f$ , 즉 순서반복 비자발 : ^[8]^[9]→ . 몇 가지 중요한 경우에 이러한 단순한 대칭까지 고유하게 변환을 결정한다. 예를 들어, 만약 가 두 개의 이중성 변환이라면, 그들의 구성은 $S$ 의 순서 자동형이다. 따라서, 어떤 두 개의 이중성 변환도 오직 순서 자동형 변환에 의해서만 다르다. 예를 들어, 전력 집합= $2$ 의^R 모든 순서 자동화는 $R$ 의 순열에 의해 유도된다.

부분 순서 $P$ 에 대해 정의된 개념은 이중 포셋에 대한 이중 개념과 일치할 것이다. 예를 들어 $P$ 의 최소 요소는 최대 요소: 최소성과 최대성은 순서 이론에서 이중 개념이다. 다른 쌍의 이중 개념은 상한과 하한, 하한 세트와 상한 세트, 이상과 필터 등이다.

토폴로지에서 오픈 세트와 클로즈드 세트는 이중 개념이다. 오픈 세트의 보완은 닫힘이고, 그 반대의 경우도 마찬가지다. 매트로이드 이론에서, 주어진 매트로이드의 독립된 세트를 보완하는 집합의 집단은 이중 매트로이드라고 불리는 또 다른 매트로이드 그 자체를 형성한다.

치수 반전 이중성

큐브의 특징과 그것의 이중 팔면체는 치수가 거꾸로 된 1 대 1에 해당한다.

기하학적 또는 위상학적 물체가 같은 유형의 다른 물체에 대응하지만, 물체의 형상의 치수가 역전되는, 뚜렷하지만 상호 관련되는 이중성이 많다. 이것의 고전적인 예가 플라톤 고형질의 이중성이다, 입방체와 팔면체가 이중 쌍을 이루고, 도면체와 고면체가 이중 쌍을 이루고, 사면체는 자가 쌍을 이루고 있다. 이러한 다면체의 어느 하나라도 이중 다면체는 원시 다면체의 각 면의 중심점의 볼록한 선체로 형성될 수 있으므로 이중의 정점은 원면의 얼굴과 일대일로 일치한다. 마찬가지로 이중의 각 가장자리는 원수의 가장자리에 해당하며, 이중의 각 면은 원수의 꼭지점에 해당한다. 이러한 대응은 발생을 보존한다. 원시 다면체의 두 부분이 서로 닿으면 이중 다면체의 해당 두 부분도 서로 접촉한다. 보다 일반적으로 극성상호화 개념을 사용하여, 모든 볼록 다면체 또는 보다 일반적으로 볼록 다면체는 이중 다면체 또는 이중 다면체에 해당하며, 이중 다면체의 $n ($ - 1 $)차원$ 형상에 해당하는 n차원 다면체의 i차원 형상이 있다. 이중성의 발병률 보존 특성은 원시 및 이중 다면체 또는 다면체의 얼굴 격자 자체가 순서이론적 이중이라는 사실에 반영된다. 폴리토페의 이중성과 주문-이중성은 둘 다 비자발적이다: 어떤 폴리토페의 이중 폴리토페는 원래의 폴리토페이고, 모든 주문 관계를 두 번 뒤집으면 원래의 순서에 되돌아온다. 다른 극성의 중심을 선택하면 기하학적으로 다른 이중 폴리토페스가 나타나지만, 모두 동일한 결합 구조를 가지고 있다.

파란색 평면 그래프와 빨간색 이중 그래프.

어떤 3차원 다면체에서도 정점과 가장자리의 그래프인 평면 그래프를 형성할 수 있다. 이중 다면체에는 이중 그래프가 있으며, 다면체 각 면에 대해 하나의 꼭지점과 인접한 두 면마다 하나의 가장자리가 있는 그래프가 있다. 평면 그래프 이중성의 동일한 개념은 평면에 그려지지만 3차원 다면체에서 나오지 않는 그래프에 일반화될 수 있으며, 또는 보다 일반적으로 상위 속 표면의 내장을 그래프로 나타낼 수 있다: 내장에 가장자리 주기에 의해 경계된 각 영역 내에 하나의 꼭지점을 배치하여 이중 그래프를 그릴 수 있다.경계 모서리를 공유하는 두 영역을 연결하는 가장자리. 이러한 유형의 중요한 예는 $S$ 의 델라우나이 삼각측정과 $S$ 의 보로노이 도표 사이의 평면에 있는 점의 유한 집합 $S$ 에 대한 이중성 계산 기하학에서 온다. 이중 다면체 및 이중 다면체처럼 표면에 있는 그래프의 이중성은 치수역전 비자발적이다: 원시 내장 그래프의 각 꼭지점은 이중 내장 영역에 해당하고, 원시 각 가장자리는 이중에서 가장자리로 교차하며, 원시 각 영역은 이중의 꼭지점에 해당한다. 이중 그래프는 원시 그래프가 내장된 방법에 따라 달라진다. 단일 그래프의 평면 임베딩이 서로 다른 이중 그래프로 이어질 수 있다. Matroid 이중성은 평면 그래프의 그래픽 매트로이드의 이중 매트로드가 이중 그래프의 그래픽 매트로이드와 이형성이라는 점에서 평면 그래프 이중성의 대수적 확장이다.

일종의 기하학적 이중성은 최적화 이론에서도 발생하지만 치수를 역전시키는 것은 아니다. 선형 프로그램은 실제 변수 시스템(유클리드 공간 $\mathbb {R} ^{n}$ $\mathbb {R} ^{n}$ ${\$ 에 의해 지정될 수 있으며, $\mathbb {R} ^{n}$ 선형 제약 시스템(점이 반공간에 있음을 명시함, 이 반공간의 교차점은 프로그램의 실현 가능한 영역인 볼록 폴리토프임을 나타냄)에 의해 지정될 수 있다.ar 기능(최적화할 기능). 모든 선형 프로그램은 동일한 최적의 해법으로 이중 문제를 가지고 있지만, 이중 문제의 변수는 원시 문제의 제약조건에 해당하고 그 반대도 마찬가지다.

논리와 집합 이론의 이중성

논리학에서 함수나 관계 $A$ 와 $B$ 는 $(\neg) x$ = $\neg() B x$ 인 경우 이중으로 간주된다. 여기서 ¬은 논리적 부정이다. 이러한 유형의 기본적인 이중성은 고전적 논리에서 in과 ∀ 정수의 이중성이다. $\exists.\neg() x P x$ 와 $\neg\forall.(.(() x P x$ 는 모든 술어에 동등하기 때문에 이중이다. P 고전적 논리학에서: 만약 존재하는 경우 x 어떤 것을 위하여 P 붙잡지 못하다, 그렇다면 그것은 거짓이다. P 만인을 위해 보유하다 x (그러나 역은 건설적으로 유지되지 않는다.) 이러한 근본적인 논리적 이중성으로부터 몇 가지 다른 것을 따른다.

공식은 공식을 진실하게 만드는 자유 변수에 대한 할당이 있을 경우 특정 모델에서 만족한다고 하며, 자유 변수에 대한 모든 할당이 그것을 진실하게 만들면 유효하다. 만족도와 타당성은 이중적이다. 왜냐하면 무효한 공식은 정확히 만족스러운 공식이고, 불만족스러운 공식은 부정의 유효성이 있는 공식이기 때문이다. 이는 양자가 해석을 넘어서는 등, 이전 항목의 특수한 경우라고 볼 수 있다.
고전적 논리학에서는 $\land$ 과operators 연산자가 이러한 의미에서 이중적인데, 그 이유는 $(\neg\neg x)) y$ 와 $((x))$ 가 동등하기 때문이다. 이것은 고전적 논리의 모든 정리에 동등한 이중 정리가 있다는 것을 의미한다. 드 모건의 법칙이 그 예다. 보다 일반적으로 $\land$ $(\neg$ ) = $\neg\lor.$ 왼쪽은 만일 $i x i$ ¬.¬이면 진실이고, 오른쪽은 ¬∃i.x이면_i 진실이다.
모달 논리학에서 $□ p$ 는 명제 $p$ 가 "필요하게" 참임을 의미하며, $◊ p$ $p$ 는 "가능하게" 참임을 의미한다. 모달 논리에 대한 대부분의 해석은 이 두 연산자에 이중의 의미를 부여한다. 예를 들어 크립케 의미론에서 " $p$ is true"는 " $p$ 가 $W$ 에 true인 W가 $있다$ "는 뜻이고, " $p$ 는 반드시 true"는 " $모든$ 세계에 대해 $p$ 는 $w$ 에 true"라는 뜻이다. 그후 $□$ 와 dual의 이중성은 $\forall$ 과 ∃의 유사 이중성에서 따르게 된다 $.$ 다른 이중 모달 연산자도 이와 유사하게 행동한다. 예를 들어, 시간적 논리는 운영자들이 유사하게 이중적인 "미래에 어느 때든 진실일 것"과 "미래에는 항상 진실일 것"을 나타내도록 한다.

다른 유사한 이중성은 다음과 같다.

집합보완 연산자 $\cdot C$ 에 따라 집합이론적 결합과 교차점이 이중이다. 즉, $\cap = A ($ ( )와 보다 일반적으로 $\cap$ = $(\cup$ $) C$ 이다 $. C$ 이는 $\forall$ 과 $\exists$ 의 이중성에서 따온 것으로서, $원소$ x는if와 $α x$ if, if와 if, only, if, if, if, if, only, if. if. if. if, if. if. if. if. if. if. $α$ if. $\in. C$ 의 일원이다.

이중 객체

이중성의 그룹은 $X$ 와 유사한 구조를 가진 어떤 수학적 객체 $X$ 에 대해 형태론 $Hom (, X$ )의 집합을 어떤 고정 객체 $D$ 에 기부함으로써 설명할 수 있다. 이것을 내부 홈이라고 부르기도 한다. 일반적으로 이것은 $D$ 의 특정 선택에 대해서만 참된 이중성을 산출하는데, 이 경우 = $Hom (, X$ )은 $X$ 의 이중성을 가리킨다. $X$ 에서 입찰자까지의 지도가 항상 존재한다는 것, 즉 이중의 이중의 지도가 있다.

X\to X^{**}=(X^{*})^{*}=\operatorname {Hom}(\operatorname {Hom})(X,D,D)D).

그것은 어떤 지도와 연관되는 지도를 일부 ∈에 할당한다

:

→ (즉, Hom

(, X)

의 요소) 값

(). x

고려된 콘크리트 이중성과 대상

X

에 따라 이 지도가 이형일 수도 있고 아닐 수도 있다.

이중 벡터 공간 재방문

이중 벡터 공간의 구성

V^{*}=\operatorname {Hom}(V,K)

서론에서 언급된 것은 그러한 이중성의 예다. 실제로 형태론 집합, 즉 선형 지도는 그 자체로 벡터 공간을 형성한다. 위에서 언급된 지도 → 항상 주입식이다.

V

의 차원이 유한한 경우에만, 그것은 굴절적이며, 따라서 이소모르프리즘이다. 이 사실은 근거를 언급하지 않고 유한차원 벡터 공간의 특성을 나타낸다.

$V$ 와 $V$ 의^∗ 이소모르피즘과 내부 제품

벡터 공간 $V$ 는 $V$ 가 유한한 경우 정확하게 $V$ 와^∗ 이형성이다. 이 경우, 그러한 이형성은 비기상 이선형 형태와 동등하다.

\displaystyle \displaystyle \varphi :V\time V\to K}

이 경우

V

는 내부 제품 공간이라고 불린다. 예를 들어

K

가 실수의 분야나 복합수의 분야라면 어떤 양적인 확정 이선형 형태라도 그러한 이형성을 낳게 된다. 리만 기하학에서

V

는 다지관의 접선 공간으로 받아들여지고 그러한 긍정적인 이린라인 형태를 리만 메트릭스라고 부른다. 그들의 목적은 각도와 거리를 측정하는 것이다. 그러므로 이중성은 이 기하학의 가지에 대한 기초적인 기초가 된다. 내부 제품 공간의 또 다른 적용은 외부 대수학의 요소들 사이의 일치성을 제공하는 호지 별이다. n차원

벡터 공간의 경우, 호지 항성 연산자는 k-폼을

(

n

- k

)

폼에 매핑한다. 이것은 맥스웰 방정식을 공식화하는 데 사용될 수 있다. 이렇게 가장하여 내부 제품 공간에 내재된 이중성은 자기장과 전기장의 역할을 교환한다.

투영 기하학의 이중성

투사면(왼쪽)에 있는 4개의 점 6개의 선과 그 이중 구성인 완전한 4개의 선(오른쪽)으로 구성된 완전한 4개의 선(오른쪽)이다.

일부 투영 평면에서 투영 평면의 각 점을 선에 매핑하고 투영 평면의 각 선을 한 점에 매핑하는 기하학적 변환을 발생 보존 방식으로 찾을 수 있다.^[10] 그러한 평면의 경우 투영 평면에 이중성의 일반적인 원리가 발생한다: 그러한 평면 투영 기하학에서 어떤 정리가 주어지면, 어디에서나 "점"과 "선"이라는 용어를 교환하면 새롭고 동등하게 유효한 정리가 된다.^[11] 간단한 예로는 "두 점의 고유한 선, 이 점을 통과하는 선"이라는 문장에 "두 선이 이 두 선의 교차점, 즉 고유한 점을 결정한다"는 이중 문장이 있다. 자세한 예는 이중 정리를 참조하십시오.

일부 평면(잘못된 필드 평면)에서 이러한 현상에 대한 개념적 설명은 이중 벡터 공간에 의해 제공된다. 실제로 투사 평면 $\mathbb {RP} ^{2}$ P $\mathbb {RP} ^{2}$ ${\$ }}의 점은 1차원 서브벡터 $V\subset \mathbb {R} ^{3}$ V $V\subset \mathbb {R} ^{3}$ ⊂ $V\subset \mathbb {R} ^{3}$ $V\subset \mathbb {R} ^{3}$ {\ $displaystyle$ V $\subset \mathb {R} ^3}$ 에 ${\mathbb {RP}}^{2}$ 해당하고 $V\subset \mathbb {R} ^{3}$ ^[12] 투사 평면의 선은 차원 2의 $W$ $서브벡터$ 공간W {\ $displaystystylee W}$ 에 해당한다. The duality in such projective geometries stems from assigning to a one-dimensional $V$ the subspace of $(\mathbb {R} ^{3})^{*}$ consisting of those linear maps $f:\mathbb {R} ^{3}\to \mathbb {R}$ which satisfy ${\displayst$ $yle f(V)=0$ 선형대수의 치수 공식의 결과로서, 이 공간은 2차원, 즉 $(\mathbb {R} ^{3})^{*}$ ( $(\mathbb {R} ^{3})^{*}$ 3 ) $\$ {\ $displaystyle (\mathb {R}^{3}^{*})$ 과 연관된 투영 평면의 선에 해당한다 $(\mathbb {R} ^{3})^{*}$

이선형

\langle \cdot \cdot \rangle :\mathb {R}^{3}\time\mathb {R}\mathb {R},\langle x,y\rangle =\sum _{i=1}x_{i}y}y_{i}y}}}}}}}}}}}}}i}}}}}}i}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

yields an identification of this projective plane with the

\mathbb {RP} ^{2}

. Concretely, the duality assigns to

V\subset \mathbb {R} ^{3}

its orthogonal

{\displaystyle \left\{w\in \mathbb {R} ^{3},\langle v,w\rang

le =0{\text{{{}{{v\in V\right

. 투영 기하학에서 이중성의 명시적 공식은 이 식별을 통해 발생한다.

위상 벡터 공간 및 힐버트 공간

위상학적 벡터 공간의 영역에는 위상학적 이중 벡터 공간으로 이중을 대체하는 유사한 구조가 존재한다. 위상학적 이중공간에 대한 몇 가지 관념이 있으며, 각 개념은 이중성의 일정한 개념을 낳는다. 비듀얼 $X^{}$ x ${\$ X $"}$ 에 $X$ 대해 표준적으로 이형화된 위상 벡터 공간 $X$ ${\$ displaystyle $X$ $}$

[1]

[2]

[3]

[4]

[5]

[8]

[9]

[10]

[11]

[12]

Search

이중성(수학)

네임스페이스

더

목차

소개 사례

부분 집합 보완

듀얼 콘

이중 벡터 공간

갈루아 이론

주문 역전 이중성

치수 반전 이중성

논리와 집합 이론의 이중성

이중 객체

이중 벡터 공간 재방문

$V$ 와 $V$ 의^∗ 이소모르피즘과 내부 제품

투영 기하학의 이중성

위상 벡터 공간 및 힐버트 공간

Search

이중성(수학)

소개 사례

부분 집합 보완

듀얼 콘

이중 벡터 공간

갈루아 이론

주문 역전 이중성

치수 반전 이중성

논리와 집합 이론의 이중성

이중 객체

이중 벡터 공간 재방문

V와 V의∗ 이소모르피즘과 내부 제품

투영 기하학의 이중성

위상 벡터 공간 및 힐버트 공간

$V$ 와 $V$ 의^∗ 이소모르피즘과 내부 제품