닫힌 작용소

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

1. 개요
2. 정의
- 2.1. 닫힌 작용소
- 2.2. 닫힐 수 있는 작용소
3. 성질
참조

1. 개요

닫힌 작용소는 수학에서 위상 벡터 공간 사이의 선형 변환의 한 종류로, 그래프가 닫힌 집합인 작용소를 의미한다. 닫힐 수 있는 작용소는 그래프의 폐포가 연속 선형 변환의 그래프가 되는 작용소를 말하며, 닫힌 작용소는 닫힐 수 있는 작용소의 특수한 경우이다. 힐베르트 공간에서 대칭 작용소는 닫힐 수 있으며, 자기 수반 작용소는 닫힌 작용소이다. 닫힌 그래프 정리는 바나흐 공간 사이의 선형 변환이 닫힌 작용소일 경우 유계 작용소임을 보여준다.

더 읽어볼만한 페이지

함수해석학 - 섭동 이론
섭동 이론은 정확히 풀리는 문제에 작은 변화가 있을 때 급수로 표현하여 근사해를 구하는 방법으로, 초기 해에 보정항을 더하는 방식으로 고전역학, 양자역학 등 다양한 분야에서 활용되며 섭동 형태와 적용 차수에 따라 구분된다.
함수해석학 - 분포 (해석학)
해석학에서 분포는 시험 함수 공간의 연속 쌍대 공간의 원소로 정의되며, 로랑 슈바르츠에 의해 정립되어 편미분 방정식의 해를 다루는 데 유용하고 미분 불가능하거나 특이점을 갖는 함수를 포함한 다양한 함수를 다루는 데 효과적인 일반적인 함수의 개념을 확장한 것이다.

닫힌 작용소
닫힌 작용소
정의	* 좀 더 구체적으로, T: X → Y인 선형 연산자라고 하자. 만약 X 안의 수열 xn이 x로 수렴하고 Txn이 Y 안의 y로 수렴한다면, x는 T의 정의역 안에 있으며 T(x) = y이다.
같이 보기
같이 보기
참고 문헌
참고 문헌	*

2. 정의

$\mathbb K \in \{\mathbb R, \mathbb C\}$ 인 위상 벡터 공간 $E$ 와 하우스도르프 $\mathbb K$ -위상 벡터 공간 $F$ 가 주어졌을 때, $E$ 의 조밀 부분 벡터 공간 $D \subseteq E$ 에서 정의된 $\mathbb K$ -선형 변환 $A \colon D\to F$ 를 생각하자.

$A$ 의 그래프는 $\operatorname{graph}A = \{(x,Ax)\colon x\in D\} \subseteq E\oplus F$ 로 정의된다.

$A$ 의 그래프가 $E \oplus F$ 의 닫힌집합이거나, 임의의 $x \in E$ 와 그물 $(x_i)_{i \in I} \subseteq D$ 에 대해 $\textstyle\lim_{i\to\infty}x_i = x$ 이고 $\lim_{i\to\infty}Ax_i = y \in F$ 일 때 $x \in D$ 이며 $y = Ax$ 이면, $A$ 를 닫힌 작용소라고 한다.^[1]

$\operatorname{graph}\bar A = \operatorname{cl}(\operatorname{graph}A)$ 인 연속 선형 변환 $\bar A\colon\bar D\to F$ 가 존재하거나 (여기서 $\bar D = \operatorname{proj}_E \operatorname{graph}\bar A$ ), 임의의 $x\in E$ 와 두 그물 $(x_i)_{i\in I}\subseteq D$ , $(x'_{i'})_{i'\in I'}\subseteq D$ 에 대해 $\textstyle\lim_{i\to\infty}x_i = \lim_{i'\to\infty}x_{i'} = x$ 이고 $\textstyle\lim_{i\to\infty}Ax_i = y$ , \textstyle\lim_{i'\to\infty}x'_{i'} = y'일 때 $y=y'$ 이면, $A$ 를 닫힐 수 있는 작용소라고 한다.^[1]

닫힐 수 있는 작용소의 경우, $\operatorname{cl}(\operatorname{graph}A)$ 로 정의되는 작용소를 $\bar A$ 로 표기하며, $A$ 의 폐포(closure^영어)라고 한다.

2. 1. 닫힌 작용소

다음이 주어졌다고 하자.

K|K^영어∈{ℝ, ℂ}
K|K^영어-위상 벡터 공간 ''E''
하우스도르프 K|K^영어-위상 벡터 공간 ''F''
''E''의 조밀 K|K^영어-부분 벡터 공간 ''D'' ⊆ ''E''
K|K^영어-선형 변환 ''A'' : ''D'' → ''F''

그렇다면, ''A''의 '''그래프'''

: 그래프 ''A'' = {(''x'', ''Ax'') : ''x'' ∈ ''D''} ⊆ ''E'' ⊕ ''F''

를 생각할 수 있다.

''A''에 대하여 다음 조건들이 서로 동치이며, 이 조건들이 성립한다면 ''A''를 '''닫힌 작용소'''라고 한다.^[1]

''A''의 그래프가 위상 벡터 공간 ''E'' ⊕ ''F''의 닫힌집합이다.
임의의 ''x'' ∈ ''E'' 및 그물 (''x''_''i'')_{''i''∈''I''} ⊆ ''D''에 대하여, 만약 lim_''i''→∞''x''_''i'' = ''x''이며 lim_''i''→∞''Ax''_''i'' = ''y'' ∈ ''F''라면, ''x'' ∈ ''D''이며 ''y'' = ''Ax''이다.

''E'' 및 ''F''가 프레셰 공간이라면, 둘째 조건에서 그물 대신 점렬을 사용해도 된다.

2. 2. 닫힐 수 있는 작용소

다음이 주어졌다고 하자.

K|K^영어∈{ℝ, ℂ}
K|K^영어-위상 벡터 공간 ''E''
K|K^영어-위상 벡터 공간 ''F''
''E''의 조밀 K|K^영어-부분 벡터 공간 ''D'' ⊆ ''E''
연속 K|K^영어-선형 변환 ''A'' : ''D'' → ''F''

이 경우, 다음 두 조건은 서로 동치이며, 이 조건이 성립한다면 ''A''를 '''닫힐 수 있는 작용소'''라고 한다.^[1]

$\operatorname{graph}\bar A = \operatorname{cl}(\operatorname{graph}A)$ 인 연속 선형 변환 $\bar A\colon\bar D\to F$ 가 존재한다. (여기서 $\bar D = \operatorname{proj}_E \operatorname{graph}\bar A$ 이다.)
임의의 ''x''∈''E'' 및 두 그물 $(x_i)_{i\in I}\subseteq D$ 및 $(x'_{i'})_{i'\in I'}\subseteq D$ 에 대하여, 만약 $\textstyle\lim_{i\to\infty}x_i = \lim_{i'\to\infty}x_{i'} = x$ 이고 $\textstyle\lim_{i\to\infty}Ax_i = y$ 이며 \textstyle\lim_{i'\to\infty}x'_{i'} = y'이라면, ''y''=''y''′이다.

다시 말해, 닫힐 수 있는 작용소에서는, 임의의 ''E''의 원소에서 ''A''의 값을 그물 또는 점렬의 극한으로 정의하려고 할 때, 이러한 가능한 정의는 (만약 가능하다면) 유일하다.

이 경우,

\operatorname{cl}(\operatorname{graph}A)

로 정의되는 작용소를

\bar A

로 표기하며, ''A''의 '''폐포'''(closure^영어)라고 한다.

3. 성질

힐베르트 공간에서, 닫힐 수 있는 작용소와 닫힌 작용소는 다음과 같은 성질을 갖는다.

힐베르트 공간 위의 모든 대칭 작용소는 닫힐 수 있는 작용소이다.
힐베르트 공간 위의 모든 자기 수반 작용소는 닫힌 작용소이다.

3. 1. 에르미트 수반과의 관계

\mathbb{K}

-힐베르트 공간

H

의 조밀 부분 집합

:

D \subseteq E

위의 선형 변환

:

A \colon H \to H

의 에르미트 수반을 정의하려 한다고 하자. 이 경우, 그 수반의 정의역은

:

\operatorname{dom}A^* = \left\{x\in H\colon \langle x|A \in \mathcal H^* \cong \mathcal H\right\}

이다. 이것이 조밀 집합일 필요충분조건은

A

가 닫힐 수 있는 작용소인 것이다.

이 경우,

A

가 닫힐 수 있는 작용소일 때

:

\bar A = A^{**}

이다. 즉, 닫힌 작용소의 경우

A = \bar A = A^{**}

이다.

힐베르트 공간 위의 모든 대칭 작용소는 닫힐 수 있는 작용소이다. 힐베르트 공간 위의 모든 자기 수반 작용소(

A = A^*

)는 닫힌 작용소이다.

즉, 힐베르트 공간 위에서 다음 포함 관계가 성립한다.

대칭 작용소	⊂	닫힐 수 있는 작용소
∪		∪
자기 수반 작용소	⊂	닫힌 작용소
		∪
		유계 작용소

3. 2. 포함 관계

힐베르트 공간^한국어 위의 모든 대칭 작용소는 닫힐 수 있는 작용소이다. 힐베르트 공간 위의 모든 자기 수반 작용소는 닫힌 작용소이다.

즉, 힐베르트 공간 위에서 다음 포함 관계가 성립한다.

대칭 작용소	⊂	닫힐 수 있는 작용소
∪		∪
자기 수반 작용소	⊂	닫힌 작용소
		∪
		유계 작용소

3. 3. 닫힌 그래프 정리

바나흐 공간에서 선형 변환에 대한 '''닫힌 그래프 정리'''(closed graph theorem^영어)에 따르면, 두 바나흐 공간

E

,

F

사이에서

E

전체에 정의된 선형 변환

A\colon E\to F

가 닫힌 작용소인 것은 유계 작용소인 것과 동치이다.

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

문의하기 : help@durumis.com