Khoảng cách là gì? Từ Pythagore đến không gian metric

Khoảng cách không chỉ là công thức căn bậc hai. Video này đi từ định lý Pythagore, qua khoảng cách trên trục số và mặt phẳng, rồi trừu tượng hoá thành ĐỊNH NGHĨA hàm khoảng cách (metric): ba tiên đề — không âm & đồng nhất, đối xứng, bất đẳng thức tam giác. Sau đó áp dụng định nghĩa đó lên nhiều không gian khác nhau: bốn metric trên Rⁿ (rời rạc, d₁ Manhattan, d₂ Euclid, d∞ Chebyshev), không gian các hàm bị chặn với metric supremum, và các không gian dãy ℓ∞, ℓ₁, ℓ₂. MỌI tính chất đều được chứng minh đầy đủ, không có "hiển nhiên": bất đẳng thức Cauchy–Schwarz được dựng từ đầu bằng tam thức bậc hai luôn không âm, rồi kéo theo bất đẳng thức Minkowski, rồi ra bất đẳng thức tam giác cho d₂. Không cần kiến thức trước ngoài đại số phổ thông và khái niệm căn bậc hai. ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ BẠN SẼ HỌC ĐƯỢC ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ • Vì sao công thức khoảng cách Euclid là hệ quả trực tiếp của định lý Pythagore • Ba tiên đề của một hàm khoảng cách (metric) và ý nghĩa hình học của từng cái • Định nghĩa không gian metric (X, d) — và vì sao cần trừu tượng hoá • Metric rời rạc: mọi tập hợp đều thành không gian metric • d₁, d₂, d∞ trên Rⁿ và cách kiểm tra ba tiên đề cho từng cái • Chứng minh bất đẳng thức Cauchy–Schwarz từ tam thức bậc hai (biệt thức ≤ 0) • Từ Cauchy–Schwarz suy ra Minkowski, rồi ra bất đẳng thức tam giác cho d₂ • Metric supremum trên không gian hàm bị chặn — vì sao chỉ cần sup, không cần max • Các không gian dãy ℓ∞, ℓ₁, ℓ₂ và tính XÁC ĐỊNH (d luôn hữu hạn) • ℓ₂: bất đẳng thức tam giác bằng cách dùng lại Minkowski cho tổng hữu hạn rồi cho N → ∞ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ NỘI DUNG ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 0:00 Định lý Pythagore — chứng minh bằng diện tích 0:48 Từ trục số đến mặt phẳng: công thức khoảng cách Euclid 1:32 Bốn tính chất của khoảng cách, chứng minh từ hình học 2:53 Bất đẳng thức tam giác trên R² qua Cauchy–Schwarz 4:11 Định nghĩa hàm khoảng cách (metric) và không gian metric 5:11 Bốn metric trên Rⁿ — metric rời rạc 6:10 d₁ — khoảng cách Manhattan 7:20 d₂ — khoảng cách Euclid 8:47 Bổ đề Cauchy–Schwarz (chứng minh từ tam thức bậc hai) 9:32 Minkowski ⇒ bất đẳng thức tam giác cho d₂ 10:24 d∞ — khoảng cách Chebyshev 11:20 Không gian các hàm bị chặn: metric supremum 13:51 Không gian dãy ℓ∞ 15:06 Không gian dãy ℓ₁ 15:54 Không gian dãy ℓ₂ (Minkowski cho N → ∞) 16:58 Tổng kết ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ VỀ LOẠT BÀI ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ Thuộc loạt "Tô-pô đại cương". Nếu thấy hữu ích, một lượt thích và đăng ký kênh sẽ giúp kênh rất nhiều — cảm ơn bạn.