Trong phân tích phức tạp, công suất phân tích của một tập hợp nhỏ gọn K của mặt phẳng phức là một số biểu thị "mức độ lớn" của hàm phân tích giới hạn trên C K có thể trở thành. Nói một cách đơn giản, γ ( K ) đo kích thước của quả bóng đơn vị của không gian của các hàm phân tích giới hạn bên ngoài K .
Nó được Ahlfors giới thiệu lần đầu tiên vào những năm 1940 trong khi nghiên cứu khả năng loại bỏ các điểm kỳ dị của các chức năng phân tích bị ràng buộc.
Định nghĩa [ chỉnh sửa ]
Đặt K C nhỏ gọn. Sau đó, khả năng phân tích của nó được xác định là
Tại đây,
den biểu thị tập hợp các hàm phân tích giới hạn U → C bất cứ khi nào U là tập con mở của mặt phẳng phức. Thêm nữa,
den biểu thị tập hợp các hàm phân tích giới hạn U → C bất cứ khi nào U là tập con mở của mặt phẳng phức. Thêm nữa, 
Lưu ý rằng
trong đó e
trong đó e . Tuy nhiên, thường là
. Tuy nhiên, thường là .
. Nếu A C là một tập hợp tùy ý, thì chúng tôi xác định
- .
Bộ di động và Painlevé vấn đề [ chỉnh sửa ]
Bộ nhỏ gọn K được gọi là có thể tháo rời nếu, bất cứ khi nào Ω là một bộ mở có chứa K mọi hàm được giới hạn và biến hình trên tập hợp Ω K có phần mở rộng phân tích cho tất cả. Theo định lý của Riemann cho các điểm kỳ dị có thể tháo rời, mọi singleton đều có thể tháo rời. Điều này thúc đẩy Painlevé đặt ra một câu hỏi tổng quát hơn vào năm 1880: "Những tập hợp con nào của C có thể tháo rời?"
Dễ dàng nhận thấy rằng K có thể tháo rời khi và chỉ khi ( K ) = 0. Tuy nhiên, khả năng phân tích hoàn toàn phức tạp- khái niệm phân tích, và nhiều công việc cần phải được thực hiện để có được một đặc tính hình học hơn.
Chức năng Ahlfors [ chỉnh sửa ]
Đối với mỗi máy compact K ⊂ C tồn tại một chức năng cực hạn duy nhất, tức là
f ∈ H ∞ ( C ∖ K ) { displaystyle f in { math }} ^ { infty} ( mathbf {C} setminus K)}
f () = 0 và f () = γ ( K . Hàm này được gọi là Hàm Ahlfors của K . Sự tồn tại của nó có thể được chứng minh bằng cách sử dụng một lập luận gia đình bình thường liên quan đến Định lý Montel.
Khả năng phân tích về kích thước của Hausdorff [ chỉnh sửa ]
Đặt dim H biểu thị kích thước của Hausdorff và H [19659198BiệnphápHausdorff1chiềuSauđó H 1 ( K ) = 0 ngụ ý γ ( K ) = 0 trong khi mờ ] ( K )> 1 đảm bảo γ ( K )> 0. Tuy nhiên, trường hợp khi mờ H ( K ) = 1 và H 1 ( K ) (0,] khó khăn hơn.
Chiều dài dương nhưng khả năng phân tích bằng 0 [ chỉnh sửa ]
Đưa ra sự tương ứng một phần giữa thước đo 1 chiều của một tập con nhỏ gọn của C và phân tích của nó dung lượng, có thể phỏng đoán rằng γ ( K ) = 0 ngụ ý H 1 ( K ) = 0. Tuy nhiên , phỏng đoán này là sai. Một ví dụ đầu tiên được đưa ra bởi A. G. Vitushkin, và một mẫu đơn giản hơn nhiều của J. Garnett trong bài báo năm 1970 của ông. Ví dụ sau này là bộ bốn góc tuyến tính được xây dựng như sau:
Đặt K 0 : = [0, 1] × [0, 1] là hình vuông đơn vị. Sau đó, K 1 là sự kết hợp của 4 hình vuông có cạnh dài 1/4 và các hình vuông này nằm ở các góc của K 0 . Nói chung, K n là liên hiệp của 4 n hình vuông (ký hiệu là
) có chiều dài cạnh 4 – n mỗi
đang ở trong góc của một số
. Lấy K làm giao điểm của tất cả K n sau đó
Phỏng đoán của Vitushkin [ chỉnh sửa ]
Đặt K C là một tập hợp nhỏ gọn. Phỏng đoán của Vitushkin nói rằng
trong đó
biểu thị phép chiếu trực giao theo hướng. Theo kết quả được mô tả ở trên, phỏng đoán của Vitushkin là đúng khi mờ H K 1.
Guy David đã công bố một bằng chứng vào năm 1998 về phỏng đoán của Vitushkin cho trường hợp mờ H K = 1 và H 1 ) <. Năm 2002, Xavier Tolsa đã chứng minh rằng khả năng phân tích là bán tự động đáng kể. Đó là, tồn tại một hằng số tuyệt đối C > 0 sao cho K C là một tập hợp nhỏ gọn và
trong đó mỗi K i là Borel, sau đó [19659320] γ ( K ) ≤ C ∑ i = 1 [1965946] 19659331] γ ( K i ) { displaystyle gamma (K) leq C sum _ {i = 1} ^ { infty} gamma (K_ {i})}
.
Các định lý của David và Tolsa cùng ngụ ý rằng phỏng đoán của Vitushkin là đúng khi K là H 1 -sigma-finite. Tuy nhiên, phỏng đoán vẫn mở cho K là 1 chiều chứ không phải H 1 -sigma-finite.
Tài liệu tham khảo [ chỉnh sửa ]
- Mattila, Pertti (1995). Hình học của các bộ và thước đo trong không gian Euclide . Nhà xuất bản Đại học Cambridge. Sđt 0-521-65595-1.
- Pajot, Hervé (2002). Năng lực phân tích, khả năng chỉnh lưu, độ cong Menger và tích phân Cauchy . Ghi chú bài giảng môn Toán. Springer-Verlag.
- J. Garnett, Chiều dài dương nhưng khả năng phân tích bằng không, Proc. Amer. Môn Toán. Soc. 21 (1970), 696 Tiết699
- G. David, 1 bộ không thể xác định có khả năng phân tích biến mất, Rev. Môn Toán. Sê-ri. 14 (1998) 269 Than479
- Dudziak, James J. (2010). Phỏng đoán của Vitushkin cho các bộ di động . Đại học. Springer-Verlag. Sê-ri 980-14419-6708-4.
- Tolsa, Xavier (2014). Năng lực phân tích, biến đổi Cauchy và lý thuyết Zdergmund không đồng nhất Calderón [Z9009007]. Tiến bộ trong Toán học. Birkhäuser Basel. Sê-ri 980-3-319-00595-9.
![f in { mathcal {H}} ^ { infty} ({ mathbf {C}} setminus K) [19659058] sao cho <span class=](https://wikimedia.org/api/rest_v1/media/math/render/svg/deeaaeddf9e145c6b01140a6c087fd8a0e8a5cbb)
f () = 0 và f () = γ ( K . Hàm này được gọi là Hàm Ahlfors của K . Sự tồn tại của nó có thể được chứng minh bằng cách sử dụng một lập luận gia đình bình thường liên quan đến 
) có chiều dài cạnh 4 – n mỗi 
. Lấy K làm giao điểm của tất cả K n sau đó ![H ^ {1} (K) = { sqrt {2}} [19659058] nhưng <i> </i> (<i> K </i>) = 0. </p>
<h3><span id=](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1a5bf3e85f8f32f5e722fc74d158691dfa54f5d)
biểu thị phép chiếu trực giao theo hướng. Theo kết quả được mô tả ở trên, phỏng đoán của Vitushkin là đúng khi mờ H K 1. 
trong đó mỗi K i là Borel, sau đó [19659320] γ .
. Các định lý của David và Tolsa cùng ngụ ý rằng phỏng đoán của Vitushkin là đúng khi K là H 1 -sigma-finite. Tuy nhiên, phỏng đoán vẫn mở cho K là 1 chiều chứ không phải H 1 -sigma-finite.
Tài liệu tham khảo [ chỉnh sửa ]
- Mattila, Pertti (1995). Hình học của các bộ và thước đo trong không gian Euclide . Nhà xuất bản Đại học Cambridge. Sđt 0-521-65595-1.
- Pajot, Hervé (2002). Năng lực phân tích, khả năng chỉnh lưu, độ cong Menger và tích phân Cauchy . Ghi chú bài giảng môn Toán. Springer-Verlag.
- J. Garnett, Chiều dài dương nhưng khả năng phân tích bằng không, Proc. Amer. Môn Toán. Soc. 21 (1970), 696 Tiết699
- G. David, 1 bộ không thể xác định có khả năng phân tích biến mất, Rev. Môn Toán. Sê-ri. 14 (1998) 269 Than479
- Dudziak, James J. (2010). Phỏng đoán của Vitushkin cho các bộ di động . Đại học. Springer-Verlag. Sê-ri 980-14419-6708-4.
- Tolsa, Xavier (2014). Năng lực phân tích, biến đổi Cauchy và lý thuyết Zdergmund không đồng nhất Calderón [Z9009007]. Tiến bộ trong Toán học. Birkhäuser Basel. Sê-ri 980-3-319-00595-9.