수학(mathematics)에서, 약한 토폴로지(weak topology)는 종종 토폴로지적 벡터 공간 또는 선형 연산자의 공간, 예를 들어 힐베르트 공간 위에 특정 초기 토폴로지(initial topologies)에 대해 대안적인 용어입니다. 그 용어는 연속 이중(continuous dual)과 관련하여 토폴로지적 벡터 공간 (예를 들어 노름 벡터 공간)의 초기 토폴로지에 가장 공통적으로 사용됩니다. 이 기사의 나머지 부분에서는 함수형 해석학(functional analysis)의 개념 중 하나인 이 경우를 다룰 것입니다.
우리는 만약 그것들이 약한 토폴로지와 관련하여 닫힌 (각각, 컴팩트, 등) 것이면, 약하게 닫힌 (각각, 약하게 컴팩트, 등) 토폴로지적 벡터 공간의 부분집합이라고 부를 수 있습니다. 마찬가지로, 함수가 때때로 만약 그것들이 약한 토폴로지와 관련하여 연속 (각각, 미분-가능, 해석적, 등)이면, 약하게 연속 (각각, 약하게 미분-가능, 약하게 해석적, 등)이라고 불립니다.
History
1900년대 초부터, 다비트 힐베르트(David Hilbert)와 머르첼 리스(Marcel Riesz)는 약한 수렴을 광범위하게 사용했습니다. 함수형 해석학(functional analysis)의 초기 선구자들은 약한 수렴보다 노름 수렴을 높이지 않았고 종종 약한 수렴을 선호하는 것으로 보였습니다. 1929년에, 바나흐(Banach)는 노름 공간에 대해 약한 수렴을 도입했고 유사한 약한-* 수렴(weak-* convergence)도 도입했습니다. 약한 토폴로지는 topologie faible 및 schwache Topologie라고도 합니다.
The weak and strong topologies
갖는 복소수의 필드이거나 실수의 필드입니다.
Weak topology with respect to a pairing
약한 토폴로지와 약한* 토폴로지는 둘 다 쌍화(pairings)에 대한 보다 일반적인 구성의 특수한 경우이며, 이는 우리가 이제 설명합니다. 이 보다 일반적인 구성의 이점은 그것에 대해 입증된 모든 정의 또는 결과가 약한 토폴로지와 약한* 토폴로지에 모두 적용되므로, 많은 정의, 정리 명제, 및 증명의 필요성이 중복된다는 것입니다. 이것은 역시 약한* 토폴로지가 역시 "약한 토폴로지"라고 자주 언급되는 이유이기도 합니다; 왜냐하면 그것이 보다 일반적인 구성의 설정에서 약한 토폴로지의 한 예제일 뿐이기 때문입니다.
(X, Y, b)가 토폴로지적 필드
표기법. 모든 x ∈ X에 대해,
정의. Y (및 b)에 의해 유도된 X 위에 약한 토폴로지(weak topology on X)는 X 위에 가장 약한 토폴로지이며, 𝜎(X, Y, b) 또는 간단히 𝜎(X, Y)로 표시되며, 모든 맵
Y 위에 약한 토폴로지는 기사 이중 시스템(Dual system)에서 설명된 대로 이제 자동으로 정의됩니다. 어쨌든, 명확성을 위해, 우리는 이제 그것을 반복합니다.
정의. X (및 b)에 의해 유도된 Y 위에 약한 토폴로지(weak topology on Y)는 Y 위에 가장 약한 토폴로지이며, 𝜎(Y, X, b) 또는 간단히 𝜎(Y, X)로 표시되며, 모든 맵
만약 필드
이것은 약한 토폴로지가 지역적으로 볼록(locally convex)임을 보여줍니다.
가정. 우리는 이제부터
Canonical duality
우리는 이제 Y가 X의 대수적 이중 공간(algebraic dual space, 즉, X 위에 선형 함수형의 벡터 공간)의 벡터 부분공간인 특수한 경우를 고려합니다.
선형 맵
가정. 만약 Y가 X의 대수적 이중 공간(algebraic dual space)의 벡터 부분공간이면, 우리는 그것들이 정식의 쌍화 ⟨X, Y⟩와 결합되어 있다고 가정할 것입니다.
이 경우에서, X 위에 약한 토폴로지 (각각, Y 위에 약한 토폴로지)는, 𝜎(X,Y)에 의해 (각각 𝜎(Y,X)에 의해) 표시되며, 정식의 쌍화 ⟨X, Y⟩와 관련하여 X 위에 (각각 Y 위에) 약한 토폴로지(weak topology)입니다.
토폴로지 σ(X,Y)는 Y에 관한 X의 초기 토폴로지(initial topology)입니다..
만약 Y가 X 위에 선형 함수형의 벡터 공간이면, 토폴로지 σ(X,Y)에 관한 X의 연속 이중은 Y와 정확하게 같습니다. (Rudin 1991, Theorem 3.10)
The weak and weak* topologies
X를
정의. X 위에 약한 토폴로지(weak topology on X)는 정식의 쌍화(canonical pairing)
정의:
우리는 아래에 대안적인 정의를 제공합니다.
Weak topology induced by the continuous dual space
대안적으로, TVS X의 약한 토폴로지(weak topology)는
약한 토폴로지에 대해 부분기저(subbase)는
이러한 관점에서, 약한 토폴로지는 가장-엉성한 극 토폴로지(polar topology)입니다.
Weak convergence
약한 토폴로지는 다음 조건에 의해 특성화됩니다: X에서 네트(net)
특히,
이 경우에서, 그것은 다음과 같이 쓰는 것이 관례적입니다:
또는, 때때로,
Other properties
만약 X가 약한 토폴로지를 갖추면, 덧셈과 스칼라 곱셈이 연속 연산으로 유지되고, X는 지역적으로 볼록 토폴로지적 벡터 공간(locally convex topological vector space)입니다.
만약 X가 노름 공간이면, 이중 공간
이 노름은
Weak-* topology
약한* 토폴로지는 극 토폴로지(polar topology)의 중요한 예제입니다.
공간 X는 두배 이중(double dual) X**에 다음에 의해 삽입될 수 있습니다:
따라서
Weak-* convergence
특히,
이 경우에서, n → ∞일 때, 다음과 같이 씁니다:
약한-* 수렴은 때때로 단순 수렴(simple convergence) 또는 점별 수렴(pointwise convergence)이라고 불립니다. 실제로, 그것은 선형 함수형의 점별 수렴(pointwise convergence)과 일치합니다.
Properties
만약 X가 분리-가능 (즉, 셀-수-있는 조밀한 부분집합을 가짐) 지역적 볼록 공간이고 H가 그것의 연속 이중 공간의 노름-경계진 부분집합이면, 약한* (부분공간) 토폴로지가 부여된 H는 메트릭-가능(metrizable) 토폴로지적 공간입니다. 어쨌든, 무한-차원 공간에 대해, 메트릭은 변환-불변일 수 없습니다. 만약 X가 분리-가능 메트릭-가능 지역적 볼록(locally convex) 공간이면, X의 연속 이중 공간 위에 약한* 토폴로지는 분리-가능입니다.
Properties on normed spaces
정의에 의해, 약한* 토폴로지는
보다 일반성에서, F를 지역적으로 컴팩트 값 필드 (예를 들어, 실수, 복소수, 또는 p-진수 숫자 시스템의 어떤 것)라고 놓습니다. X를 F에서 절댓값과 호환되는 F에 걸쳐 노름 토폴로지적 벡터 공간이라고 놓습니다. 그런-다음
만약 X가 노름 공간이면, 하이네–보렐 정리(Heine–Borel theorem)의 버전이 유지됩니다. 특히, 연속 이중의 부분집합이 약한* 컴팩트인 것과 그것이 약한* 닫히고 노름-경계진 것은 필요충분 조건입니다. 이것은 특히 X가 무한-차원 노름 공간일 때 X의 이중 공간에서 원점에 있는 닫힌 단위 공이 0의 임의의 약한* 이웃을 포함하지 않는다는 것을 의미합니다 (왜냐하면 임의의 그러한 이웃은 노름-무경계진 것이기 때문입니다). 따라서 노름-닫힌 공이 콤팩트이더라도
만약 X가 노름 공간이면, X가 분리-가능인 것과
Examples
Examples
예를 들어, 힐베르트 공간(Hilbert space)
여기서 수렴의 개념은
대조적으로 약한 수렴은 모든 함수
주어진 테스트 함수에 대해, 관련 수렴의 개념은
예를 들어, 힐베르트 공간
특히, k → ∞일 때
Distributions
우리는 통상적으로 테스트 함수 (예를 들어,
Weak topology induced by the algebraic dual
X가 벡터 공간이고
Operator topologies
만약 X와 Y가 토폴로지적 벡터 공간이면, 연속 선형 연산자(continuous linear operators) f : X → Y의 공간 L(X,Y)는 다양한 다른 가능한 토폴로지를 나를 수 있습니다. 그러한 토폴로지의 이름-지정은 연산자 수렴을 정의하기 위해 대상 공간 Y에서 사용하는 토폴로지의 종류에 따라 다릅니다 (Yosida 1980, IV.7 Topologies of linear maps). 일반적으로, L(X,Y)에는 가능한 연산자 토폴로지의 방대한 배열이 있으며, 그것의 이름-지정이 완전히 직관적이지 않습니다.
예를 들어, L(X,Y) 위에 강한 연산자 토폴로지(strong operator topology)는 점별 수렴(pointwise convergence)의 토폴로지입니다. 예를 들어, 만약 Y가 노름 공간이면, 이 토폴로지는 x ∈ X에 의해 인덱스된 반노름에 의해 정의됩니다:
보다 일반적으로, 만약 반-노름 Q의 가족이 Y 위의 토폴로지를 정의하면, 강한 토폴로지를 정의하는 L(X,Y) 위의 반-노름
특히, weak operator topology와 weak* operator topology를 참조하십시오.
Bibliography
- Conway, John B. (1994), A Course in Functional Analysis (2nd ed.), Springer-Verlag, ISBN 0-387-97245-5
- Folland, G.B. (1999). Real Analysis: Modern Techniques and Their Applications (Second ed.). John Wiley & Sons, Inc. ISBN 978-0-471-31716-6.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Pedersen, Gert (1989), Analysis Now, Springer, ISBN 0-387-96788-5
- Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Willard, Stephen (February 2004). General Topology. Courier Dover Publications. ISBN 9780486434797.
- Yosida, Kosaku (1980), Functional analysis (6th ed.), Springer, ISBN 978-3-540-58654-8