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 có chu vi (C) màu đen, đường kính (D) màu lam, bán kính (R) màu đỏ và tâm (O) màu lục.

Công thức sửa

Trong hệ tọa độ Descartes, hình tròn mở tâm   và bán kính R được thể hiện theo công thức[1]

 

trong khi hình tròn đóng có cùng tâm và bán kính được thể hiện bằng

 

Diện tích của một hình tròn đóng hoặc mở có bán kính R là πR 2 (xem diện tích hình tròn).[3]

Tính chất sửa

Hình tròn có tính đối xứng tròn.[4]

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]

Mỗi hàm liên tục từ hình tròn đóng đến chính nó đều có ít nhất một điểm cố định (không yêu cầu hàm phải song ánh hoặc toàn ánh); đây là trường hợp n = 2 của định lý điểm cố định Brouwer.[8] Tuyên bố là sai với hình tròn mở:[9]

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  

Xem thêm sửa

Tham khảo sửa

  1. ^ a b The Concise Oxford Dictionary of Mathematics, 2014, ISBN 9780199679591
  2. ^ Intuitive Concepts in Elementary Topology, 2013, ISBN 9780486275765.
  3. ^ Journey into Mathematics: An Introduction to Proofs, 2013, ISBN 9780486151687.
  4. ^ Altmann, Simon L. (1992). Icons and Symmetries (bằng tiếng Anh). Oxford University Press. ISBN 9780198555995.
  5. ^ New Foundations for Physical Geometry: The Theory of Linear Structures, 2014, ISBN 9780191004551.
  6. ^ Combinatorial Group Theory: A Topological Approach, 1989, ISBN 9780521349369.
  7. ^ 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.
  8. ^ Arnold (2013), p. 132.
  9. ^ Arnold (2013), Ex. 1, p. 135.