9

Định lý 1. ( Định lý Hahn- Banach, dạng mở rộng) Cho là một không gian định

chuẩn tuyến tính thực và là hàm tuyến tính con liên tục trên . Cho là hàm tuyến

tính xác định trên không gian con của thỏa mãn với mọi .

Khi đó tồn tại một phần mở rộng của từ đến sao cho trên .

Chứng minh. Định lý này đúng trong một không gian tuyến tính chuẩn hóa tùy ý,
nhưng chứng minh của chúng ta giả sử có thể tách được. Tuy nhiên, kết quả chung thu
được bằng phương pháp tương tự cùng với việc áp dụng đơn giản bổ đề Zorn. Người đọc
quen với bổ đề Zorn sẽ gặp chút khó khăn khi khái quát hóa chứng minh. Ý tưởng cơ bản

là mở rộng tại một điểm và sau đó áp dụng quy nạp.

Giả sử là một vectơ trong không thuộc . Xét tất cả các phần tử của không

gian con Phần tử như vậy có dạng biểu diễn duy nhất là trong

đó và là đại lượng thực. Phần mở rộng của từ đến có dạng

và, do đó, phần mở rộng được xác định bằng cách mô tả hằng số Chúng ta

phải chỉ ra rằng có thể chọn được sao cho trên Với hai phần tử

và bất kỳ trong ta có

hoặc

và do đó
 9

Do đó, tồn tại hằng số sao cho

Với vectơ ta định nghĩa Ta phải

chứng minh rằng

Nếu thì
 13

và, theo định nghĩa của tích phân Stieltjes,

Vì thế,

Đó là một tính chất tiêu chuẩn của tích phân Stieltjes mà

và, do đó, Mặt khác, ta có và do đó,

Ngược lại, nếu là hàm biến thiên giới hạn trên thì hàm

là tuyến tính. Hơn nữa, bị chặn vì

Cần lưu ý rằng Định lý 1 không khẳng định tính duy nhất của hàm biến thiên giới

hạn biểu diễn một hàm tuyến tính cho trước vì, ví dụ, hàm có thể được

biểu diễn bởi bằng 0 trên , duy nhất trên , và có bất kỳ giá trị nào

giữa 0 và điểm duy nhất Để loại bỏ sự mơ hồ, chúng tôi giới thiệu không gian

con sau của

 13

Định nghĩa. Không gian chuẩn hóa của các hàm biến thiên bị chặn ký hiệu là

bao gồm tất cả các hàm biến thiên bị chặn trên triệt tiêu tại điểm

và liên tục từ phải sang Chuẩn của phần tử trong không gian này là

Với Định nghĩa trên, mối liên hệ giữa đối ngẫu của và là
duy nhất. Tuy nhiên, việc chuẩn hóa này không cần thiết trong hầu hết các ứng dụng, vì
khi xử lý một hàm đặc trưng, thông thường bất kỳ biểu diễn nào cũng phù hợp.

5.6. Không gian đối ngẫu thứ hai

Đặt Chúng ta thường sử dụng ký hiệu cho giá trị của hàm

tại một điểm Bây giờ, cho phương trình xác định hàm

số trên không gian Hàm số được xác định trên theo cách này là tuyến tính vì
 14

Hơn nữa, vì nên Theo hệ quả 2 của Định lý

Hahn- Banach, tồn tại khác không sao cho nên trên thực tế

Khi đó, chúng ta thấy rằng, tùy thuộc vào việc hoặc được coi là cố định

trong cả và đều xác định các hàm tuyến tính giới hạn lẫn nhau và điều

này thúc đẩy ký hiệu đối xứng

Không gian của tất cả các hàm tuyến tính bị chặn trên được ký hiệu là và được
gọi là đối ngẫu thứ hai của . Ánh xạ được xác định bởi

trong đó được gọi là ánh xạ tự nhiên của vào . Nói cách

khác, các phần tử ánh xạ của vào các hàm mà chúng tạo ra trên thông qua ký
hiệu đối xứng. Ánh xạ này là ánh xạ tuyến tính, và như được trình bày trong đoạn trước,

là bảo toàn chuẩn mực( tức là ). Tuy nhiên, nói chung, ánh xạ tự nhiên của
vào không thưc hiện được. Có thể có các phần tử của không thể được biểu
diễn bằng các phần tử trong . Mặt khác, có những trường hợp quan trọng trong đó ánh
xạ tự nhiên được đưa vào.

Định nghĩa. Không gian tuyến tính định chuẩn được gọi là phản xạ nếu ánh xạ tự
nhiên nằm trên. Trong trường hợp này chúng ta viết .

Ví dụ 1. Các không gian và , có tính phản xạ vì trong đó

và, do đó,

Ví dụ 2. và không phản xạ.

Ví dụ 3. Mọi không gian Hilbert đều phản xạ.
Không gian phản xạ có một số đặc tính hữu ích không có trong các không gian định
chuẩn tùy ý. Ví dụ, nghịch đảo Hệ quả 2 của định lý Hahn- Banach đúng trong một

không gian phản xạ, cụ thể là, cho có với . 14

5.7. Căn chỉnh và phần bù trực giao

Nói chung, với mọi và mọi ta có Trong không gian

Hilbert ta có đẳng thức trong mối quan hệ này khi và chỉ khi hàm được biểu diễn

bằng một bội số không âm của , tức là, khi và chỉ khi với một số
Được thúc đẩy bởi tình huống không gian Hilbert, chúng tôi đưa ra định nghĩa
sau đây.

Định nghĩa. Một vevtơ được cho là thẳng hàng với một vectơ nếu

Căn chỉnh là một mối quan hệ giữa các vectơ trong hai không gian vectơ riêng biệt: một
không gian định chuẩn và đối ngẫu định chuẩn của nó.
 15

Ví dụ 1. Cho và Điều kiện

để hai hàm được căn chỉnh trực tiếp tuân theo các điều kiện đẳng thức
trong bất đẳng thức Holder, cụ thể là,

khi và chỉ khi đối với hằng số .

Ví dụ 2. Cho và gọi là tập hợp các điểm tại đó

Nói chung, có thể là vô hạn hoặc hữu hạn nhưng nó luôn khác rỗng. Hàm

tuyến tính bị chặn được căn chỉnh với khi và chỉ khi chỉ thay
đổi trên và không giảm tại nếu và không tăng nếu ( Chúng tôi
để lại chi tiết cho người đọc.) Do đó, nếu là hữu hạn, một hàm liên kết phải bao gồm
một số hữu hạn các bước gián đoạn. Xem hình 5.1

Hình 5.1
Khái niệm trực giao có thể được đưa vào các không gian định chuẩn thông qua không
gian đối ngẫu.

Định nghĩa. Các vectơ và được gọi là trực giao nếu

Vì đối ngẫu của không gian Hilbert chính là , theo định nghĩa được mô tả trong
phần 5.3 của định lý Riesz- Fréchet, nên định nghĩa về tính trực giao nêu trên có thể được
coi là sự tổng quát hóa của định nghĩa không gian Hilbert tương ứng.

Định nghĩa. Giả sử là tập con của không gian tuyến tính định chuẩn . Phần bù trực
15
giao của , ký hiệu là , bao gồm tất cả các phần tử trực giao với mọi vectơ
trong .

Cho một tập con của không gian đối ngẫu phần bù trực giao của nó nằm
trong Tuy nhiên, một khái niệm hữu ích hơn trong trường hợp này được mô tả dưới
đây.