Hình học phi Euclid khác biệt như thế nào so với hệ tiên đề hình học Euclid kinh điển?

Hình học phi Euclid thay thế tiên đề thứ năm của Euclid (tiên đề đường thẳng song song); trong hình học Hyperbolic (Lobachevsky) qua một điểm có vô số đường thẳng song song, còn trong hình học Elliptic (Riemann) không có đường thẳng song song nào tồn tại.

Hình học vi phân đóng vai trò gì trong thuyết tương đối rộng của Albert Einstein?

Hình học vi phân Riemann cung cấp ngôn ngữ toán học chính xác mô tả độ cong của không - thời gian bốn chiều (biểu diễn qua tensor độ cong Riemann và tensor Ricci) bị uốn cong bởi sự phân bố của vật chất và năng lượng.

Khái niệm đa tạp (manifold) trong hình học hiện đại được hiểu như thế nào?

Đa tạp là một không gian tôpô mà cục bộ xung quanh mỗi điểm đều đồng phôi (tương đương hình học) với không gian Euclid đa chiều, cho phép áp dụng các công cụ giải tích vi tích phân vào các cấu trúc hình học phức tạp.

Geometry

Geometry (Geometry) là phân ngành toán học nền tảng nghiên cứu về hình dạng, kích thước, vị trí tương đối của các đối tượng không gian và các tính chất bất biến của không gian dưới các phép biến đổi hình học.

Lịch sử phát triển từ hệ tiên đề Euclid đến hình học phi Euclid

Hình học khởi nguồn từ nhu cầu thực tiễn đo đạc ruộng đất và xây dựng công trình của các nền văn minh cổ đại Lưỡng Hà và Ai Cập. Vào thế kỷ thứ 3 trước Công nguyên, nhà toán học Hy Lạp Euclid đã hệ thống hóa toàn bộ tri thức hình học thời bấy giờ vào bộ tác phẩm kinh điển Cơ sở (Elements), thiết lập mô hình suy diễn tiên đề chuẩn mực đầu tiên trong lịch sử khoa học.

Hệ thống tiên đề Euclid dựa trên 5 tiên đề nền tảng, trong đó tiên đề thứ năm (tiên đề về đường thẳng song song) có cấu trúc phức tạp hơn hẳn: nếu một đường thẳng cắt hai đường thẳng khác tạo thành hai góc trong cùng phía có tổng nhỏ hơn hai góc vuông, thì hai đường thẳng đó sẽ cắt nhau về phía đó. Trong suốt hơn hai nghìn năm, các nhà toán học đã nỗ lực chứng minh tiên đề thứ năm từ 4 tiên đề đầu nhưng đều thất bại.

Đến thế kỷ 19, bước đột phá tư duy vĩ đại đã diễn ra với sự ra đời độc lập của hình học phi Euclid bởi Nikolai Lobachevsky, János Bolyai và Carl Friedrich Gauss. Bằng cách phủ nhận tiên đề thứ năm, hai phân ngành hình học mới đã được xác lập:

Hình học Hyperbolic (Hình học Lobachevsky): Qua một điểm nằm ngoài một đường thẳng cho trước, có ít nhất hai (và do đó có vô số) đường thẳng song song với đường thẳng đó. Trong không gian này, tổng ba góc của một tam giác luôn nhỏ hơn $180^\circ$ , và diện tích tam giác tỷ lệ thuận với độ khuyết góc (angle defect).
Hình học Elliptic (Hình học Riemann): Qua một điểm nằm ngoài một đường thẳng, không có bất kỳ đường thẳng song song nào tồn tại. Mọi cặp đường thẳng đều cắt nhau. Tổng ba góc của một tam giác luôn lớn hơn $180^\circ$ .

Hình học giải tích, hình học vi phân và khái niệm đa tạp

Sự kết hợp giữa hình học và đại số bởi René Descartes và Pierre de Fermat vào thế kỷ 17 đã khai sinh ra hình học giải tích (Analytic Geometry), trong đó các điểm được đại số hóa bằng các bộ tọa độ số thực, còn đường cong và mặt cong được mô tả bằng các phương trình đại số.

Vào giữa thế kỷ 19, Bernhard Riemann đã mở rộng hình học lên một tầm cao khái quát hóa mới với việc giới thiệu khái niệm đa tạp (manifold) và tensor metric Riemann $g_{ij}$ . Trên một đa tạp khả vi nhiều chiều, khoảng cách vi phân giữa hai điểm vô cùng gần nhau được xác định bởi dạng vi phân toàn phần:

ds^2 = \sum_{i,j} g_{ij} dx^i dx^j

Độ cong của không gian không còn cần phải nhúng vào một không gian lớn hơn mà được xác định nội tại thông qua tensor độ cong Riemann $R^i_{jkl}$ . Công cụ toán học này của Riemann đã trở thành nền tảng hình học tuyệt đối chuẩn xác để Albert Einstein xây dựng Thuyết Tương đối rộng năm 1915, trong đó lực hấp dẫn không phải là một lực cơ học từ xa của Newton mà là biểu hiện của sự uốn cong không - thời gian bốn chiều dưới tác động của mật độ vật chất và năng lượng.

Hình học topo và lý thuyết bất biến

Trong hình học hiện đại, nhánh topo học (Topology) nghiên cứu các tính chất hình học được bảo toàn qua các phép biến dạng liên tục (như kéo dài, uốn cong, vặn xoắn) mà không có hành vi cắt rời hoặc dán dính. Khái niệm đồng phôi (homeomorphism) và các bất biến topo như đặc trưng Euler ( $\chi = V - E + F$ ), nhóm cơ bản và đối đồng điều giúp phân loại các cấu trúc không gian phức tạp. Những phát triển này gắn kết chặt chẽ với vật lý lượng tử, lý thuyết dây, khoa học dữ liệu hình học và thị giác máy tính hiện đại.