Định lý này được mang tên của hai nhà toán học người Ý Cesare Arzelà (1847 -1912 ) và Giulio Ascoli , (1843 –1896 ).
Định lý nêu ra một tiêu chuẩn để xác định khi nào một tập các hàm liên tục từ một không gian metric compact đến một không gian metric là compact trong không gian tô pô của sự hội tụ đều.
Cho X {\displaystyle \mathbb {X} } là một không gian metric compact và Y {\displaystyle \mathbb {Y} } là một không gian metric. Khi đó, một tập con F {\displaystyle \mathbb {F} } của C ( X , Y ) {\displaystyle C(\mathbb {X} ,\mathbb {Y} )} là compact nếu và chỉ nếu nó liên tục đồng bậc , bị chặn từng điểm và đóng.
Trong đó, C ( X , Y ) {\displaystyle C(\mathbb {X} ,\mathbb {Y} )} là không gian metric với phần tử là tất cả các hàm liên tục từ X {\displaystyle \mathbb {X} } tới Y {\displaystyle \mathbb {Y} } và metric được xác định bởi công thức d ( f , g ) = max X d ( f ( x ) , g ( x ) ) {\displaystyle d(f,g)=\max _{X}d(f(x),g(x))} .
Tập con F {\displaystyle \mathbb {F} } được gọi là bị chặn từng điểm nếu với mọi x ∈ X {\displaystyle x\in \mathbb {X} } , tập hợp { f ( x ) : f ∈ F } {\displaystyle \{f(x):f\in \mathbb {F} \}} là bị chặn trong Y {\displaystyle \mathbb {Y} } .
Tập F {\displaystyle \mathbb {F} } được gọi là liên tục đồng bậc trên X {\displaystyle \mathbb {X} } nếu ∀ x 0 ∈ X , ∀ ϵ > 0 , ∃ δ > 0 , ∀ f ∈ F , ∀ x ∈ X : d ( x , x 0 ) < δ ⇒ d ( f ( x ) , f ( x 0 ) ) < ϵ {\displaystyle \forall x_{0}\in X,\ \forall \epsilon >0,\ \exists \delta >0,\ \forall f\in \mathbb {F} ,\ \forall x\in X:\ d(x,x_{0})<\delta \Rightarrow d(f(x),f(x_{0}))<\epsilon }
Đây là sự tổng quát hóa của định lý Ascoli bởi Cesare Arzelà .
Wiki - Keonhacai copa chuyên cung cấp kiến thức thể thao,
keonhacai tỷ lệ kèo, bóng đá, khoa học, kiến thức hằng ngày được chúng tôi cập nhật mỗi ngày mà bạn có thể tìm kiếm tại đây có nguồn bài viết:
https://vi.wikipedia.org/wiki/%C4%90%E1%BB%8Bnh_l%C3%BD_Arzela-Ascoli