"부분 공간"의 두 판 사이의 차이

2022년 3월 12일 (토) 17:16 기준 최신판

어떤 벡터 공간의 부분 공간이란, 그 벡터 공간에 포함되면서 스스로도 벡터 공간인 집합을 말한다.

$F$ : 임의의 체
$V$ : 임의의 $F$ -벡터 공간
$W$ : 임의의 집합
vsp(V, F): V가 F-벡터 공간
$W\leq V$ : W가 V의 부분 공간

$W\leq V{\overset {def}{\Longleftrightarrow }}{\text{vsp}}(W,F)\wedge W\subset V$

판별법[편집 | 원본 편집]

어떤 공집합이 아닌 부분 집합이 부분 공간임을 판정하기 위해서는 덧셈과 상수배에 대해 닫혀있음을 보이면 충분하다.

$\emptyset \neq W\subset V$ : 임의의 집합

$W\leq V\Leftrightarrow {\begin{aligned}\forall x,y\in W(x+y\in W)\\\forall x\in W,a\in F(ax\in W)\end{aligned}}$

오른쪽으로의 증명[편집 | 원본 편집]

가정: 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W\le V}

부분 공간의 정의에 의해 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 는 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle F} -벡터 공간이고, 벡터 공간의 정의에 의해 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 는 덧셈과 상수배에 대해 닫혀있다. 가정 끝.

왼쪽으로의 증명[편집 | 원본 편집]

가정: 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 가 덧셈과 상수배에 대해 닫혀있다.

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle V} 가 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle F} -벡터 공간이므로, 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle V} 의 모든 원소에 대해 덧셈의 교환 및 결합 법칙, 상수배의 결합 법칙, 두 가지 분배 법칙이 성립하며 1배는 자기 자신이다. 이제 항등원과 역원이 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 의 원소임을 보이면 충분하다.

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W\ne\emptyset\rightarrow \exist x\in W}

존재 예화: 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x \in W}

어떤 벡터에 0을 곱하면 0이고 가정에 의해 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 는 상수배에 대해 닫혀있다.

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle 0=0x\in W}

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \therefore 0\in W} . 존재 예화 끝.

따라서 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 가 항등원을 원소로 갖는다.

가정: 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\in W} 어떤 벡터에 -1을 곱하면 역원이고 가정에 의해 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 는 상수배에 대해 닫혀있다.

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle -x=(-1)x\in W}

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \therefore -x\in W} . 가정 끝.

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \therefore \forall x\in W(-x\in W)} ; 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 의 임의의 원소는 그 역원 또한 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 의 원소이다. 항등원과 역원이 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 의 원소임을 보였으므로 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W} 는 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle F} -벡터 공간이다. 구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://wikimedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle W\le V} . 가정 끝.

@@ 14번째 줄: / 14번째 줄: @@
 * <math>\emptyset\ne W \subset V</math>: 임의의 집합
-<math>\emptyset\ne W\subset V \Rightarrow\left(W\le V\Leftrightarrow \begin{align}
+<math>W\le V\Leftrightarrow \begin{align}
 \forall x,y\in W(x+y\in W)\\
 \forall x\in W,a\in F(ax \in W)
-\end{align}\right)</math>
+\end{align}</math>
 === 오른쪽으로의 증명 ===
@@ 25번째 줄: / 25번째 줄: @@
 === 왼쪽으로의 증명 ===
-가정: <math>W</math>가 덧셈과 상수배에 대해 닫혀있다.
-<math>V</math>가 <math>F</math>-벡터 공간이므로, <math>V</math>의 모든 원소에 대해 덧셈의 [[벡터 공간#덧셈의 교환 법칙|교환]] 및 [[벡터 공간#덧셈의 결합 법칙|결합 법칙]], [[벡터 공간#상수배의 결합 법칙|상수배의 결합 법칙]], [[벡터 공간#상수의 분배 법칙|두 가지]] [[벡터 공간#벡터의 분배 법칙|분배 법칙]]이 성립하며 [[벡터 공간#1배는 자기자신|1배는 자기 자신]]이다.
+'''가정''': <math>W</math>가 덧셈과 상수배에 대해 닫혀있다.
-이제 항등원과 역원이 <math>W</math>의 원소임을 보이면 충분하다.
+<math>V</math>가 <math>F</math>-벡터 공간이므로, <math>V</math>의 모든 원소에 대해 덧셈의 [[벡터 공간#덧셈의 교환 법칙|교환]] 및 [[벡터 공간#덧셈의 결합 법칙|결합 법칙]], [[벡터 공간#상수배의 결합 법칙|상수배의 결합 법칙]], [[벡터 공간#상수의 분배 법칙|두 가지]] [[벡터 공간#벡터의 분배 법칙|분배 법칙]]이 성립하며 [[벡터 공간#1배는 자기자신|1배는 자기 자신]]이다.  이제 항등원과 역원이 <math>W</math>의 원소임을 보이면 충분하다.
 <math>W\ne\emptyset\rightarrow \exist x\in W</math>
+'''존재 예화''': <math>x \in W</math>
+어떤 벡터에 [[벡터 공간/0을 곱하면 0이다|0을 곱하면 0이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.
+<math>0=0x\in W</math>
+<math>\therefore 0\in W</math>. '''존재 예화 끝'''.
+따라서 <math>W</math>가 항등원을 원소로 갖는다.
+'''가정''': <math>x\in W</math>  어떤 벡터에 [[벡터 공간/역원과 상수곱|-1을 곱하면 역원이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.
+<math>-x=(-1)x\in W</math>
+<math>\therefore -x\in W</math>. '''가정 끝'''.
+<math>\therefore \forall x\in W(-x\in W)</math>; <math>W</math>의 임의의 원소는 그 역원 또한 <math>W</math>의 원소이다.  항등원과 역원이 <math>W</math>의 원소임을 보였으므로 <math>W</math>는 <math>F</math>-벡터 공간이다. <math>W\le V</math>. '''가정 끝'''.

"부분 공간"의 두 판 사이의 차이

2022년 3월 12일 (토) 17:16 기준 최신판

판별법[편집 | 원본 편집]

오른쪽으로의 증명[편집 | 원본 편집]

왼쪽으로의 증명[편집 | 원본 편집]

둘러보기 메뉴

검색