Không gian metric

Không gian metric là bất kỳ tập hợp nào được trang bị một hàm khoảng cách, cung cấp một thiết lập trừu tượng để định nghĩa sự hội tụ, tính liên tục, tính đầy đủ và tính compact từ đường thẳng thực một cách tổng quát.

Definition

Không gian metric là một tập hợp cùng với một hàm khoảng cách thỏa mãn tính không âm, tính đối xứng và bất đẳng thức tam giác; cấu trúc đơn lẻ này đủ để định nghĩa các giới hạn, các ánh xạ liên tục và các khái niệm tô pô mà giải tích thực yêu cầu.

Scope

Chủ đề này bao gồm các tiên đề của một metric, các tập hợp mở và đóng cùng với tô pô cảm sinh, sự hội tụ và tính liên tục theo thuật ngữ metric, tính đầy đủ và sự hoàn thành của một không gian, tính compact với các đặc trưng tuần tự và bao phủ của nó, tính liên thông và nguyên lý ánh xạ co Banach.

Core questions

• Những tính chất nào của đường thẳng thực vẫn tồn tại khi chỉ giả định một hàm khoảng cách?
• Điều gì phân biệt các không gian đầy đủ, và tại sao tính đầy đủ lại quan trọng?
• Tính compact được đặc trưng như thế nào, và tại sao nó lại mạnh mẽ đến vậy?
• Khi nào một tự ánh xạ có một điểm bất động duy nhất?

Key theories

Đặc trưng Heine-Borel và tính compact

Trong không gian Euclid, một tập hợp là compact chính xác khi nó đóng và bị chặn, và trong các không gian metric tổng quát, tính compact, tính compact tuần tự và tính đầy đủ với tính bị chặn toàn phần trùng khớp, thống nhất khái niệm hữu hạn quan trọng của giải tích.

Định lý điểm bất động Banach

Một ánh xạ co trên một không gian metric đầy đủ có một điểm bất động duy nhất đạt được bằng cách lặp, là động cơ trừu tượng đằng sau các chứng minh tồn tại và duy nhất cho các phương trình vi phân và tích phân.

Clinical relevance

Khung không gian metric là nền tảng cho các đảm bảo hội tụ của các phương pháp số lặp, các định lý tồn tại và duy nhất cho các phương trình vi phân thông qua nguyên lý co, và các không gian trừu tượng của các hàm và dữ liệu mà trên đó tối ưu hóa, học máy và lý thuyết xấp xỉ hoạt động.

History

Frechet đã giới thiệu các không gian metric trong luận án năm 1906 của mình để thống nhất các ý tưởng hội tụ xuất hiện trong giải tích, và Hausdorff đã phát triển thiết lập tô pô rộng hơn vào năm 1914. Nguyên lý co của Banach năm 1922 đã biến khung này thành một công cụ tiêu chuẩn cho các chứng minh tồn tại.

Key figures

• Maurice Frechet
• Felix Hausdorff
• Stefan Banach

Seminal works

• rudin1976
• munkres2000

Frequently asked questions

Tại sao lại tổng quát hóa từ đường thẳng thực sang không gian metric?

Nhiều không gian quan tâm, chẳng hạn như không gian hàm hoặc dãy, mang một khoảng cách tự nhiên nhưng không có cấu trúc đại số của số thực; khung không gian metric cho phép bộ máy giới hạn và tính liên tục áp dụng cho tất cả chúng cùng một lúc.

Điều gì làm cho một không gian metric đầy đủ?

Một không gian là đầy đủ khi mọi dãy Cauchy hội tụ trong nó; tính đầy đủ là điều cho phép các cấu trúc giới hạn và các phép lặp điểm bất động kết thúc bên trong không gian thay vì thoát ra khỏi nó.