Trong hình học, một hình tròn[1] là vùng trong mặt phẳng giới hạn bởi một vòng tròn. Một hình tròn được cho là đóng nếu nó chứa đường tròn tạo thành ranh giới của nó và mở nếu không.[2]
Hình tròn mở và hình tròn đóng không tương đương topo (không đồng phôi), vì chúng có tính chất topo khác nhau. Chẳng hạn, mọi hình tròn đóng đều compact trong khi mọi hình tròn mở không compact.[5] Tuy nhiên, từ quan điểm của topo đại số, chúng có chung nhiều thuộc tính: cả hai đều có thể co rút[6] và do đó, đồng luân với một điểm duy nhất. Điều này ngụ ý rằng các nhóm cơ bản của chúng là không đáng kể, và tất cả các nhóm tương đồng là không đáng kể ngoại trừ nhóm thứ 0, là đẳng cấu của Z.Đặc tính Euler của một điểm (và do đó cũng là của một hình tròn đóng hoặc mở) là 1.[7]
Xem ví dụ hàm ánh xạ mọi điểm của hình tròn đơn vị mở sang một điểm khác trên hình tròn đơn vị mở ở bên phải của điểm đã cho. Nhưng đối với hình tròn đơn vị đóng, nó sửa mọi điểm trên nửa vòng tròn
^New Foundations for Physical Geometry: The Theory of Linear Structures, 2014, ISBN9780191004551.
^Combinatorial Group Theory: A Topological Approach, 1989, ISBN9780521349369.
^In higher dimensions, the Euler characteristic of a closed ball remains equal to +1, but the Euler characteristic of an open ball is +1 for even-dimensional balls and −1 for odd-dimensional balls. See Introduction to Geometric Probability, 1997.