1 chia cho 0 bằng bao nhiêu? Toán học đã có ba câu trả lời, trường học không dạy

Hai tuần trước mình ngồi cố tự định nghĩa một loại số mới mà cho phép chia cho 0. Mình đặt tên nó là "số Janus", viết được vài chục trang định nghĩa, vài cái định lý, gần ra. Rồi mình ngồi đào sâu hơn để chắc rằng mình không trùng với ai. Toán học đã giải vấn đề này từ 1857. Ba lần. Ba kiểu khác nhau. Và trường học không dạy lần nào cả.

Mình cố xây một cấu trúc đại số nho nhỏ, đặt \(0\) và \(\infty\) làm cặp song sinh đối ngẫu, định nghĩa hai phép cộng "phản chiếu" qua nhau, rồi chứng minh được vài định lý đẹp. Viết đến chương thứ bảy thì cảm giác cấu trúc này quá tự nhiên, đẹp đến mức nghi ngờ. Cái gì đẹp đến vậy mà chưa ai làm thì đáng nghi.

Mình ngồi đào. Đến tối hôm đó tìm được Wikipedia entry về projectively extended real line ^[1]. Đọc xong, mình nhận ra mỗi định nghĩa quan trọng trong nháp của mình đã có trong đó từ thế kỷ 19. \(\mathbb{R} \cup \{\infty\}\). Phép \(1/0 = \infty\). Sáu expressions không xác định. Y hệt.

Mình tiếp tục đào. Tìm thấy paper của Jesper Carlström năm 2001, "Wheels – On Division by Zero" ^[2]. Carlström đi xa hơn projective line, ông định nghĩa một cấu trúc gọi là wheel, trong đó mọi biểu thức chia 0 đều có giá trị, kể cả \(0/0\) (nó bằng \(\bot\), một phần tử bottom mới). Đăng trên Mathematical Structures in Computer Science của Cambridge ^[3]. Bốn chục năm cuộc đời mình chưa từng được nghe.

Đào tiếp. Tìm thấy parallel operator \(\parallel\) trong electrical engineering. Phép \(a \parallel b = ab/(a+b)\). Có ký hiệu chính thức từ 1974. Đã được Sundaram Seshu đề xuất từ 1956, R. J. Duffin và W. N. Anderson chuẩn hoá tên gọi "parallel sum" năm 1966 ^{[4] [5]}. Đây chính xác là phép cộng "đối ngẫu" mà mình tưởng mình phát minh ra.

Có hai cách phản ứng khi bạn nhận ra mình vừa re-invent một thứ mà toán học đã có 150 năm. Cách thứ nhất là xoá file, đi ngủ, không kể với ai. Cách thứ hai là ngồi lại, hỏi câu khác.

Câu mình bắt đầu hỏi là: tại sao trường học không dạy bất cứ cái nào trong ba thứ trên?

Bài này là cuộc đào đó. Nó có hai layer. Layer thứ nhất là câu chuyện về ba framework toán học cho phép chia 0, được kể theo trình tự lịch sử với citations. Layer thứ hai là cách mình gói cả ba thành một bức tranh thống nhất gọi là số Janus, hoàn toàn không phải toán mới, chỉ là cách kể lại để con bạn 12 tuổi có thể hiểu mà không cần khoá học topology. Cuối bài mình sẽ thành thật về cái nào là toán có sẵn và cái nào là pedagogy của mình.

Câu hỏi tưởng ngây thơ

Bạn còn nhớ lần đầu mình hỏi cô giáo "1 chia cho 0 bằng bao nhiêu" không? Mình không nhớ chính xác mình mấy tuổi, nhưng mình nhớ câu trả lời. "Không xác định." Nói xong cô đi sang phép toán khác.

"Không xác định" là một câu trả lời lười. Không phải vì cô giáo lười, mà vì hệ thống đã quyết định đó là câu trả lời chuẩn từ trước. Lười ở chỗ nó không nói cho học sinh biết tại sao không xác định, và càng không nói rằng có những hệ thống số trong đó nó được xác định.

Hãy thử lại câu hỏi nghiêm túc.

Lấy phép chia. Chia \(6\) cho \(2\). Câu trả lời là \(3\), vì \(3 \times 2 = 6\). Định nghĩa của phép chia là tìm số \(x\) sao cho \(x \cdot b = a\), gọi nó là \(a/b\). Chia \(1\) cho \(0\) tức là tìm \(x\) sao cho \(x \cdot 0 = 1\). Trong số thực, không có \(x\) nào thoả mãn, vì mọi \(x \in \mathbb{R}\) thì \(x \cdot 0 = 0 \ne 1\).

Đây mới là câu trả lời chân thật. Không phải "không xác định". Mà là: "không có số thực nào thoả mãn phương trình đó". Tinh tế hơn một chút, nhưng quan trọng. Vì câu sau gợi ra ngay câu hỏi tiếp theo: nếu mình mở rộng tập số sao cho có một \(x\) thoả mãn thì sao?

Đây chính là cách số phức \(i\) ra đời. Trong thế kỷ 16, người ta gặp phương trình \(x^2 = -1\), không có nghiệm thực, và thay vì nói "không xác định", Cardano và Bombelli quyết định nhét vào một số mới và xem chuyện gì xảy ra. Vài trăm năm sau, số phức trở thành nền tảng của vật lý lượng tử, kỹ thuật điện, xử lý tín hiệu. Một quyết định pedagogy nhỏ thế kỷ 16 thay đổi toàn bộ ngành kỹ thuật thế kỷ 20.

Vậy tại sao điều tương tự không xảy ra với \(1/0\)?

Câu trả lời ngắn là: nó đã xảy ra. Nhiều lần. Chỉ là nó không được đưa vào sách giáo khoa phổ thông, có lẽ vì hệ luỵ tinh tế hơn, và pedagogy phổ thông tránh phức tạp. Câu trả lời dài là phần còn lại của bài này.

Lời giải 1: Projective line (Möbius, Riemann, thế kỷ 19)

Lời giải đầu tiên đến từ hình học xạ ảnh, một nhánh toán học phát triển mạnh nửa sau thế kỷ 19. Bernhard Riemann (1826-1866) làm việc với số phức \(\mathbb{C}\) và để ý rằng nếu bạn thêm một điểm "vô cùng" duy nhất vào mặt phẳng phức rồi cuộn nó lại, bạn được một mặt cầu trơn, đẹp, compact. Đây là Riemann sphere, ký hiệu \(\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}\) ^[6].

Trên Riemann sphere, hàm \(f(z) = 1/z\) trở thành một hàm xác định ở mọi điểm. Khi \(z \to 0\), hàm này dẫn về \(\infty\), và Riemann nói: được rồi, định nghĩa \(1/0 = \infty\) luôn. Tương tự, \(1/\infty = 0\). Hàm \(f\) giờ thành một phép biến đổi (Möbius transformation) đi từ mặt cầu vào chính nó.

Khi áp dụng ý tưởng đó vào đường thẳng thực \(\mathbb{R}\) thay vì mặt phẳng phức, bạn được projectively extended real line, ký hiệu \(\hat{\mathbb{R}} = \mathbb{R} \cup \{\infty\}\). Đây cũng được gọi là real projective line \(\mathbb{RP}^1\). Topologically nó là một vòng tròn (không phải đường thẳng), nhưng đại số học của nó vẫn rất giống số thực, chỉ thêm một phần tử.

Trên \(\hat{\mathbb{R}}\), các phép toán được định nghĩa thế này ^[1]:

\[\begin{aligned} a + \infty &= \infty \quad (\text{với } a \ne \infty) \\ a / \infty &= 0 \quad (\text{với } a \ne \infty) \\ a / 0 &= \infty \quad (\text{với } a \ne 0) \\ 0 / a &= 0 \quad (\text{với } a \ne 0) \end{aligned}\]

Đặc biệt: \(1/0 = \infty\). Một câu trả lời rõ ràng. Một số trong tập \(\hat{\mathbb{R}}\).

Có một cái giá. Sáu biểu thức vẫn không xác định:

\[\infty + \infty, \quad \infty - \infty, \quad \infty \cdot 0, \quad 0 \cdot \infty, \quad \infty / \infty, \quad 0 / 0\]

Lý do không xác định không phải lười. Lý do là nếu bạn cố gán một giá trị cụ thể cho bất kỳ cái nào trong sáu cái trên, bạn sẽ phá luật phân phối hoặc luật kết hợp. Mình sẽ chứng minh điều đó ở Định lý 4 phía dưới.

Câu chuyện nửa vời. Trường học không dạy projective line ở phổ thông vì topology của vòng tròn lạ với trẻ con. Nhưng đại học toán dạy ngay năm thứ nhất hoặc năm hai. Câu "1/0 không xác định" chỉ đúng trong \(\mathbb{R}\), không đúng trong \(\hat{\mathbb{R}}\). Mọi sinh viên toán đại học đều biết điều này. Mọi học sinh phổ thông đều không biết.

Lời giải 2: Wheel theory (Carlström, 2001)

Sáu biểu thức không xác định kia là một sự thoả hiệp. Nó nói: được rồi, \(1/0\) được xác định, nhưng \(0/0\) thì chịu. Một số nhà toán học không hài lòng với thoả hiệp này. Tại sao không định nghĩa nốt \(0/0\) luôn?

Vấn đề là nếu bạn cố định nghĩa \(0/0 = c\) với bất kỳ \(c \in \hat{\mathbb{R}}\) nào, bạn lại phá luật. Ví dụ luật phân phối \((a+b)/0 = a/0 + b/0\) trở nên không nhất quán. Đây là lý do projective line dừng lại ở chỗ đó.

Năm 2001, Jesper Carlström, lúc đó nghiên cứu sinh tại Stockholm University, công bố một luận án thạc sĩ với tiêu đề trực diện: "Wheels: On Division by Zero" ^[2]. Ba năm sau, phiên bản peer-reviewed đăng trên Mathematical Structures in Computer Science của Cambridge ^[3]. Carlström đề xuất một cấu trúc đại số gọi là wheel, mở rộng commutative ring thành một hệ trong đó mọi biểu thức chia 0 đều có giá trị.

Cách Carlström làm là: thay vì cố gán \(0/0\) cho một số có sẵn (như \(0\), \(1\), hay \(\infty\)), ông thêm một phần tử mới gọi là \(\bot\) (đọc là "bottom"), và đặt \(0/0 = \bot\). Bottom có một tính chất đặc biệt: nó "hấp thụ" mọi phép toán. Bất kể bạn cộng, trừ, nhân, chia với gì, kết quả vẫn là \(\bot\). Trong programming bạn có thể hình dung \(\bot\) như NaN của IEEE 754 floating-point. Một lần đụng phải NaN, mọi phép toán sau đó đều ra NaN.

Wheel theory đóng kín toàn bộ phép chia. Cái giá là bạn mất một số luật đại số quen thuộc. Trong wheel, \(x - x\) không nhất thiết bằng \(0\) (vì nếu \(x = \bot\) thì \(x - x = \bot\)). \(x/x\) không nhất thiết bằng \(1\). Hai luật này là nền móng của ring theory, mất chúng có nghĩa là wheel không phải ring, mà là một cấu trúc khác hẳn.

Vấn đề pedagogy ở đây tương tự projective line. Sinh viên toán đại học và computer science đều có thể đọc paper của Carlström, nó không khó. Nhưng phổ thông không dạy. Mà thực ra ngay cả đại học cũng ít trường dạy wheel theory chính thức, nó là một góc nhỏ của abstract algebra, được biết đến nhiều hơn trong category theory và type theory của computer science ^[7].

Lời giải 3: Parallel operator (Seshu, 1956)

Lời giải thứ ba không đến từ toán học thuần. Nó đến từ kỹ sư điện.

Năm 1956, Sundaram Seshu, lúc đó tại University of Illinois Urbana-Champaign, công bố một paper về network synthesis trong đó ông giới thiệu cái mà ông gọi là reduced sum operator ^[4]. Định nghĩa rất gọn:

\[a \parallel b = \frac{ab}{a+b}\]

Đây là công thức tính tổng trở của hai điện trở mắc song song. Mọi học sinh phổ thông từng học vật lý đều quen công thức này, dù không ai gọi nó là parallel operator hay nghĩ về nó như một phép toán đại số chính thức. Seshu nhận ra nó nên có địa vị riêng, ngang hàng với phép cộng và phép nhân.

Năm 1959, Kent E. Erickson đề xuất ký hiệu dấu hoa thị \(\ast\). Năm 1966, R. J. Duffin và W. N. Anderson Jr. dùng dấu hai chấm \(:\), và gọi nó là parallel sum hoặc parallel addition. Đến khoảng 1974, ký hiệu \(\parallel\) (hai vạch dọc, gợi đến hình ảnh hai dây dẫn song song) trở thành chuẩn trong electrical engineering ^[4]. John D. Cook gọi đây là "phép hài hoà" (harmonic sum), vì có liên hệ với trung bình điều hoà ^[8].

Cái đẹp của phép \(\parallel\):

• Giao hoán: \(a \parallel b = b \parallel a\)
• Kết hợp: \((a \parallel b) \parallel c = a \parallel (b \parallel c)\)
• Phân phối với phép nhân: \(k(a \parallel b) = (ka) \parallel (kb)\)
• Phần tử trung hoà là \(\infty\): \(a \parallel \infty = a\) (mạch hở không ảnh hưởng tổng trở)
• Phần tử hấp thụ là \(0\): \(a \parallel 0 = 0\) (dây dẫn lý tưởng làm tổng trở về 0)

Hãy nhìn kỹ. Đây là một phép toán có đầy đủ tính chất đẹp như phép cộng cổ điển, nhưng với 0 và \(\infty\) đổi vai trò cho nhau. Trong phép cộng cổ điển, \(0\) là phần tử trung hoà (\(a + 0 = a\)) và \(\infty\) là hấp thụ (\(a + \infty = \infty\)). Trong phép parallel, \(\infty\) là phần tử trung hoà và \(0\) là hấp thụ.

Câu hỏi tự nhiên xuất hiện ngay: hai phép toán này có liên hệ gì với nhau không? Có phải chúng là phản chiếu của nhau dưới ánh xạ \(\varphi(x) = 1/x\)?

Câu trả lời là: phải. Chính xác. Cứ áp \(\varphi\) vào hai vế:

\[\varphi(a + b) = \frac{1}{a+b}\]

So với:

\[\varphi(a) \parallel \varphi(b) = \frac{1}{a} \parallel \frac{1}{b} = \frac{(1/a)(1/b)}{(1/a) + (1/b)} = \frac{1}{a+b}\]

Bằng nhau. Tức là phép parallel chính là phép cộng đối ngẫu dưới ánh xạ nghịch đảo. Trường học phổ thông dạy bạn phép cộng. Kỹ sư điện đã dùng phép cộng đối ngẫu suốt 70 năm. Nhưng giáo trình toán phổ thông không gọi chúng là anh em đối ngẫu và không nói cho bạn rằng đây là một cặp song sinh tự nhiên.

Mình nghĩ đây là lỗ hổng pedagogy lớn nhất trong ba lời giải. Không phải vì kiến thức khó, mà vì cách dạy đã tách rời hai thứ vốn nên đi cùng nhau.

Bridge: ba lời giải nói cùng một câu chuyện

Sau khi đào hết ba framework, mình ngồi vẽ lại bức tranh. Cả ba có một điểm chung mà ít giáo trình tách bạch ra:

Cả ba đều thêm một phần tử mới (gọi là \(\infty\), hoặc \(\bot\), hoặc cả hai) vào số thực. Cả ba đều giữ phần lớn các luật đại số quen thuộc. Cả ba đều phải hy sinh một thứ gì đó.

Projective line đẹp về topology (vòng tròn) nhưng để lại sáu expressions không xác định.

Wheel theory đóng kín hoàn toàn (mọi expression đều có giá trị) nhưng mất một số luật ring cơ bản như \(x - x = 0\).

Parallel operator đẹp về tính đối ngẫu (cộng và parallel là phản chiếu của nhau) nhưng thường chỉ được hiểu trong ngữ cảnh kỹ thuật, không được trình bày như một phần của lý thuyết số.

Câu hỏi xuất hiện trong đầu mình lúc đó là: nếu mình gói cả ba lại thành một bức tranh duy nhất, lấy projective line làm nền (cho topology), thêm phép parallel làm phép cộng-đối-ngẫu thứ hai (cho đối xứng), và chấp nhận đúng một điểm không xác định (như projective line, không phải sáu, vì có đối xứng ta sẽ chứng minh được chỉ cần một), thì có ra một cấu trúc dễ dạy hơn không?

Phần còn lại của bài là cố gắng của mình trả lời câu đó. Cấu trúc đó mình gọi là số Janus, đặt theo tên vị thần La Mã có hai khuôn mặt nhìn về hai hướng đối lập. Toán không mới. Pedagogy có thể là.

Bảng ký hiệu và cách đọc

Trước khi vào phần kỹ thuật, mình cần dừng lại để giới thiệu các ký hiệu. Toán học có truyền thống dùng ký hiệu lạ để viết ngắn gọn, nhưng nếu bạn không biết cách đọc và lý do chọn ký hiệu đó, chúng trở thành rào cản thay vì công cụ. Đây là bảng tra cứu, bạn có thể quay lại bất cứ lúc nào trong bài.

Quy tắc ghi nhớ:

• Ký hiệu có vòng tròn (\(\oplus, \otimes, \odot\)) là "phiên bản mở rộng" của các ký hiệu thông thường. Vòng tròn nói: tổng quát hoá.
• Ký hiệu có hình vuông (\(\boxplus\)) là "phiên bản đối ngẫu" trong cùng họ. Hình vuông nói: tôi là anh em của thằng vòng tròn, nhưng làm việc khác.
• Hình bao (vòng tròn hoặc vuông) nói phép toán loại nào, ký hiệu bên trong (\(+\) hay \(\times\)) nói phép gì.

Nếu bạn đọc to bài này, đừng cố phát âm \(\boxplus\) như một âm thanh duy nhất. Hãy đọc tên: "a cộng-vuông b" hoặc "a cộng song song b". Trong đầu, bạn có thể nghĩ "đây là phép cộng đối ngẫu, mặt kia của tấm gương".

Hai mặt của tấm gương

Quan sát chìa khoá của số Janus xuất phát từ một sự thật đơn giản về hàm \(\varphi(x) = 1/x\). Nó có hai tính chất kỳ lạ:

1. Nó là đối hợp: \(\varphi(\varphi(x)) = x\). Áp dụng hai lần, bạn quay về điểm xuất phát.
2. Nó không xác định tại \(0\). Hoặc nói cách khác, nó muốn "đẩy" \(0\) đi đâu đó, nhưng không có chỗ để đẩy.

Hãy tưởng tượng \(\varphi\) như một tấm gương. Nó phản chiếu đường thẳng thực sao cho:

Đường thẳng số ở phía trái gương được phản chiếu sang phía phải. Các cặp số nghịch đảo (2 và 1/2, 3 và 1/3) đối xứng nhau qua gương. Số 0 ở mép trái phản chiếu thành "điểm xa" ở mép phải. Đây là lý do 0 và ⊙ được gọi là "cặp song sinh".

Quan sát thâm sâu: toán học cổ điển chỉ phát triển "một mặt" của tấm gương. Chúng ta có:

• Phép cộng \(a + b\) với phần tử trung hoà là \(0\)
• Mọi luật quanh \(0\): \(x + 0 = x\), \(0 \cdot x = 0\), etc.

Nhưng phản chiếu của các luật này quanh \(\odot\) thì ít được nói tới trong sách giáo khoa. Phép cộng-mặt-kia, phần tử-trung-hoà-mặt-kia, luật-mặt-kia. Lý thuyết số Janus chính là việc xây dựng đầy đủ cả hai mặt và đặt chúng vào cùng một bức tranh.

Phía bên trái là "thế giới của 0": số 0 ở trung tâm, các số thông thường (1, 2, 3, -1, -2) sống quanh nó, và phép cộng cổ điển ⊕ ngự trị. Phía bên phải là "thế giới của ⊙": điểm xa ở trung tâm, các nghịch đảo (1, 1/2, 1/3) sống quanh nó, và phép cộng đối ngẫu ⊞ ngự trị. Tấm gương φ ở giữa nối hai thế giới.

Bài học visual: toán học cổ điển chỉ sống ở thế giới bên trái. Số Janus thêm thế giới bên phải, với mọi luật được phản chiếu qua gương. Khi bạn viết \(1/0\) trong toán học cổ điển, bạn đang cố tiến tới biên của thế giới bên trái và đụng phải tường. Trong số Janus, biên đó không phải tường, mà là gương dẫn sang thế giới bên kia.

Định nghĩa số Janus

Định nghĩa 1 (Tập số Janus). Tập số Janus, ký hiệu \(\mathbb{J}\), được định nghĩa:

\[\mathbb{J} = \mathbb{R} \cup \{\odot\}\]

trong đó \(\odot\) là một ký hiệu mới, gọi là điểm xa (the far point), được xem là cặp song sinh đối ngẫu của \(0\) dưới ánh xạ phản chiếu.

Định nghĩa 2 (Ánh xạ phản chiếu Janus). Ánh xạ \(\varphi: \mathbb{J} \to \mathbb{J}\) được định nghĩa:

\[\varphi(x) = \frac{1}{x} \text{ với } x \in \mathbb{R} \setminus \{0\}, \quad \varphi(0) = \odot, \quad \varphi(\odot) = 0\]

Ánh xạ này là một đối hợp: \(\varphi \circ \varphi = \mathrm{id}\). Nó biến \(\mathbb{J}\) thành chính nó.

Hai định nghĩa trên tương đương hoàn toàn với projective line \(\hat{\mathbb{R}}\). Phần mới của Janus đến ở định nghĩa tiếp theo: thay vì một phép cộng, ta định nghĩa hai.

Hai phép cộng, một phép nhân

Phép cộng cổ điển ⊕

Đây là phép cộng quen thuộc từ tiểu học, mở rộng để biết cách xử lý \(\odot\).

Tiên đề ⊕. Phép \(\oplus: \mathbb{J} \times \mathbb{J} \to \mathbb{J}\):

• \(a \oplus b = a + b\) với \(a, b \in \mathbb{R}\) (như cộng thông thường)
• \(a \oplus \odot = \odot \oplus a = \odot\) với \(a \in \mathbb{R}\) (\(\odot\) hấp thụ)
• \(\odot \oplus \odot = \odot\)

Phần tử trung hoà của \(\oplus\) là \(0\): \(a \oplus 0 = a\).

Phép cộng đối ngẫu ⊞

Đây là "mặt kia của tấm gương" so với \(\oplus\). Trong vật lý điện, nó là phép tính tổng trở song song.

Tiên đề ⊞. Phép cộng đối ngẫu \(\boxplus: \mathbb{J} \times \mathbb{J} \to \mathbb{J}\) được định nghĩa thông qua phản chiếu:

\[a \boxplus b = \varphi(\varphi(a) \oplus \varphi(b))\]

Đọc bằng lời: "phản chiếu \(a\), phản chiếu \(b\), cộng vòng tròn hai cái, rồi phản chiếu kết quả về". Khai triển cụ thể với \(a, b \in \mathbb{R} \setminus \{0\}\):

\[a \boxplus b = \frac{ab}{a + b}\]

Đây chính xác là parallel operator \(\parallel\) của Seshu (1956). Trong sách điện trở phổ thông, đây là công thức tổng trở của hai điện trở mắc song song.

Các trường hợp đặc biệt:

• \(a \boxplus \odot = \odot \boxplus a = a\) (\(\odot\) là phần tử trung hoà của \(\boxplus\))
• \(a \boxplus 0 = 0 \boxplus a = 0\) (\(0\) là phần tử hấp thụ của \(\boxplus\))
• \(0 \boxplus 0 = 0\)
• \(\odot \boxplus \odot = \odot\)

Quan sát quan trọng. Hai phép cộng \(\oplus\) và \(\boxplus\) là phản chiếu hoàn hảo của nhau qua \(\varphi\). Mọi tính chất của \(\oplus\) quanh \(0\) đều có "phiên bản phản chiếu" của \(\boxplus\) quanh \(\odot\). Đặc biệt:

• \(0\) là trung hoà của \(\oplus\) ⟷ \(\odot\) là trung hoà của \(\boxplus\)
• \(\odot\) hấp thụ \(\oplus\) ⟷ \(0\) hấp thụ \(\boxplus\)

Phép nhân ⊗

Phép nhân trong số Janus, gần như giống nhân thông thường nhưng có vài quy tắc cho \(\odot\).

Tiên đề ⊗. Phép \(\otimes: \mathbb{J} \times \mathbb{J} \to \mathbb{J}\):

• \(a \otimes b = a \cdot b\) với \(a, b \in \mathbb{R}\)
• \(a \otimes \odot = \odot \otimes a = \odot\) với \(a \in \mathbb{R} \setminus \{0\}\)
• \(\odot \otimes \odot = \odot\)
• \(0 \otimes \odot\) = không xác định (chỉ trường hợp này)

Lưu ý: \(0 \otimes \odot\) vẫn không xác định. Đây là điểm giới hạn duy nhất của lý thuyết. Định lý 4 ở dưới sẽ chứng minh điểm này là vô tránh khỏi.

Bảng tóm tắt phép toán

Các định lý cơ bản

Bây giờ ta chứng minh cấu trúc \((\mathbb{J}, \oplus, \boxplus, \otimes)\) có những tính chất đẹp.

Định lý 1 (Đối xứng phản chiếu)

Với mọi \(a, b \in \mathbb{J}\) sao cho biểu thức xác định:

\[\varphi(a \oplus b) = \varphi(a) \boxplus \varphi(b)\]

\[\varphi(a \otimes b) = \varphi(a) \otimes \varphi(b)\]

Chứng minh. Cái thứ nhất là theo định nghĩa của \(\boxplus\). Cái thứ hai vì \(1/(ab) = (1/a)(1/b)\).

Định lý 2 (Phân phối kép)

Phép nhân \(\otimes\) phân phối với cả \(\oplus\) và \(\boxplus\) trên miền hữu hạn:

\[a \otimes (b \oplus c) = (a \otimes b) \oplus (a \otimes c)\]

\[a \otimes (b \boxplus c) = (a \otimes b) \boxplus (a \otimes c)\]

(Khi tất cả các biểu thức xác định.)

Chứng minh cho \(\boxplus\). Cho \(a, b, c \in \mathbb{R} \setminus \{0\}\):

\[a \cdot \frac{bc}{b+c} = \frac{abc}{b+c}\]

\[\frac{(ab)(ac)}{(ab) + (ac)} = \frac{a^2 bc}{a(b+c)} = \frac{abc}{b+c} \quad \checkmark\]

Hai biểu thức bằng nhau, nên phép phân phối đúng.

Đây là điều thực sự đẹp. Phép nhân phân phối với cả hai phép cộng. Trong toán học cổ điển, ta chỉ có một phép cộng và một luật phân phối. Trong \(\mathbb{J}\), ta có hai phép cộng đối ngẫu và hai luật phân phối, đối xứng hoàn hảo qua \(\varphi\). Đây không phải coincidence, đó là hệ quả tự nhiên của cấu trúc đối ngẫu.

Định lý 3 (Nghịch đảo và phản chiếu)

Với mọi \(x \in \mathbb{J} \setminus \{0, \odot\}\):

\[x \otimes \varphi(x) = 1\]

Tức là \(\varphi(x)\) chính là nghịch đảo nhân của \(x\) theo đúng nghĩa cổ điển. Hai trường hợp đặc biệt là \(x = 0\) và \(x = \odot\), ở đó \(\otimes\) không xác định.

Định lý 4 (Bất khả xâm phạm của 0 ⊗ ⊙)

\(0 \otimes \odot\) không thể được định nghĩa nhất quán trong \(\mathbb{J}\).

Chứng minh. Giả sử \(0 \otimes \odot = k\) với \(k \in \mathbb{J}\) nào đó. Áp dụng Định lý 1 (đối xứng phản chiếu) cho phép nhân:

\[\varphi(0 \otimes \odot) = \varphi(0) \otimes \varphi(\odot) = \odot \otimes 0 = 0 \otimes \odot\]

\[\Rightarrow \varphi(k) = k\]

Vậy \(k\) phải là điểm bất động của \(\varphi\). Nhưng \(\varphi\) chỉ có hai điểm bất động: \(1\) và \(-1\) (vì \(1/x = x \Leftrightarrow x^2 = 1\)).

Bây giờ áp dụng Định lý 2 (phân phối kép):

\[0 \otimes (\odot \oplus \odot) = 0 \otimes \odot = k\]

\[(0 \otimes \odot) \oplus (0 \otimes \odot) = k \oplus k = 2k\]

\[\Rightarrow k = 2k \Rightarrow k = 0\]

Nhưng \(0\) không phải điểm bất động của \(\varphi\) (\(\varphi(0) = \odot \ne 0\)). Mâu thuẫn. Vậy \(0 \otimes \odot\) không thể được định nghĩa nhất quán.

Định lý 4 cực kỳ quan trọng. Nó nói rằng một điểm không xác định duy nhất trong toàn bộ lý thuyết là vô tránh khỏi, và đó là \(0 \otimes \odot\). Đây không phải lỗ hổng tùy tiện, mà là hậu quả tất yếu của cấu trúc đối xứng phản chiếu.

So với projective line ban đầu, \(\hat{\mathbb{R}}\) có sáu biểu thức không xác định. Với cấu trúc đối ngẫu thêm vào, số Janus chỉ còn một. Đây là cải thiện cụ thể.

So với wheel theory, wheel có 0 expressions không xác định (mọi thứ đều bằng \(\bot\) hoặc giá trị thông thường). Wheel "tốt hơn" theo nghĩa đó, nhưng phải hy sinh luật \(x - x = 0\). Số Janus giữ được luật đó (trong miền \(\mathbb{R}\)), nhưng để lại một undefined. Trade-off.

Phép chia cho 0 được giải

Bây giờ là phần mà câu chuyện vòng về điểm bắt đầu. Định nghĩa phép chia trong \(\mathbb{J}\):

Định nghĩa 3 (Phép chia Janus).

\[a / b \equiv a \otimes \varphi(b)\]

Chia cho \(b\) là nhân với phản chiếu của \(b\). Áp dụng:

\[1 / 0 = 1 \otimes \varphi(0) = 1 \otimes \odot = \odot\]

Trong \(\mathbb{J}\), \(1/0 = \odot\) là một số được định nghĩa rõ ràng. Nó không phải "không xác định", không phải \(\varepsilon^{-1}\) trong hyperreals, không phải giới hạn. Nó là một phần tử cụ thể của tập số Janus, với mọi quy tắc hoạt động rõ ràng.

Hơn nữa:

• \(2/0 = 2 \otimes \odot = \odot\)
• \((-3)/0 = (-3) \otimes \odot = \odot\)
• \(1/\odot = 1 \otimes \varphi(\odot) = 1 \otimes 0 = 0\)
• \(\odot/\odot = \odot \otimes \varphi(\odot) = \odot \otimes 0\) = không xác định (Định lý 4)
• \(0/0 = 0 \otimes \varphi(0) = 0 \otimes \odot\) = không xác định (Định lý 4)

Trong \(\mathbb{J}\), đúng hai biểu thức không xác định: \(0/0\) và \(\odot/\odot\). Cả hai về bản chất là cùng một \(0 \otimes \odot\) qua phản chiếu, nên đếm là một trường hợp. Và như Định lý 4 đã chứng minh, đó là điều bất khả tránh khỏi nếu ta muốn cấu trúc đối xứng phản chiếu.

So sánh với cách trường học dạy ("1/0 không xác định, mà cũng đừng hỏi tại sao"), đây là một cải thiện chất lượng pedagogy đáng kể. Câu trả lời chỉ ngắn hơn vài câu, nhưng cho học sinh một mental model cụ thể: \(0\) và \(\odot\) là cặp song sinh, chia cho \(0\) đẩy bạn sang phía bên kia tấm gương, và đúng một điểm bất khả xâm phạm là chỗ hai mặt va vào nhau.

Ứng dụng

Một lý thuyết toán học chỉ có giá trị nếu nó mô tả được hiện tượng thực. Số Janus không phải lý thuyết mới (như đã nói ở đầu), nhưng cách gói cấu trúc đối ngẫu này lại làm rõ ra rằng các "công thức rời rạc" mà bạn học từ phổ thông thực ra là cùng một bộ luật đại số mặc áo khác nhau.

Điện trở mắc song song

Đây là ứng dụng rõ ràng nhất, và là lý do mình tin cấu trúc này không phải trò chơi ký hiệu.

Hai cách mắc điện trở phổ biến. Mắc nối tiếp (trên): tổng trở = R₁ + R₂, đây chính là phép ⊕. Mắc song song (dưới): tổng trở = R₁R₂/(R₁+R₂), đây chính là phép ⊞.

Nếu hai điện trở \(R_1\) và \(R_2\) mắc nối tiếp, tổng trở là \(R_1 + R_2\). Đây là phép \(\oplus\).

Nếu mắc song song, tổng trở là \(R_1 R_2/(R_1 + R_2)\). Đây chính xác là \(R_1 \boxplus R_2\).

Và:

• Một dây dẫn lý tưởng (\(R = 0\)) mắc song song với bất kỳ điện trở nào: \(0 \boxplus R = 0\). Đúng vật lý: nối tắt làm tổng trở về 0.
• Một mạch hở (\(R = \odot\)) mắc nối tiếp: \(\odot \oplus R = \odot\). Mạch hở vẫn là mạch hở.

Insight vật lý. \(0\) và \(\odot\) trong \(\mathbb{J}\) chính là "dây dẫn lý tưởng" và "mạch hở" trong vật lý. Chúng là hai cực đối ngẫu tự nhiên xuất hiện cùng nhau. Lý thuyết Janus là ngôn ngữ tự nhiên cho mạch điện. Hoặc nói cách khác: kỹ sư điện đã làm việc với cấu trúc số Janus suốt 70 năm, chỉ là không gọi nó bằng tên đó.

Thấu kính và quang học

Công thức thấu kính cổ điển 1/f = 1/u + 1/v luôn được dạy ở phổ thông như "công thức rời rạc cần học thuộc". Trong ngôn ngữ Janus, nó trở thành f = u ⊞ v, đẹp như công thức cộng nối tiếp.

Công thức thấu kính: \(1/f = 1/u + 1/v\), hoặc viết lại: \(f = u \boxplus v\). Khoảng cách vô cùng (vật ở xa) chính là \(\odot\), và \(\odot \boxplus v = v\) tự động cho ta biết: vật ở xa vô cùng thì ảnh hình thành tại tiêu cự.

Hai công thức cấp 3 (\(1/f = 1/u + 1/v\) và \(1/R = 1/R_1 + 1/R_2\)) thực ra là cùng một phép toán, viết bằng cùng một ngôn ngữ \(\boxplus\). Học sinh phổ thông học hai lần (một lần ở vật lý điện, một lần ở vật lý quang) mà không bao giờ được biết đó là cùng một cấu trúc đại số. Đó là một lỗ hổng pedagogy.

Tốc độ tương đối

Trong vật lý cổ điển, vận tốc cộng theo \(\oplus\). Trong tương đối hẹp, vận tốc cộng theo công thức:

\[u \oplus_r v = \frac{u + v}{1 + uv/c^2}\]

Đây là phép cộng "lai" giữa \(\oplus\) và \(\boxplus\). Tốc độ ánh sáng \(c\) đóng vai trò \(\odot\) trong cấu trúc này: cộng bất kỳ vận tốc nào với \(c\) vẫn cho \(c\). Đây là một dạng đặc biệt của parallel operator trong vật lý.

Xác suất và odds

Cho hai biến cố độc lập với xác suất \(p, q\). Xác suất xảy ra ít nhất một là \(p \oplus q - pq\) (xấp xỉ \(p \oplus q\) khi \(p, q\) nhỏ). Odds (tỷ lệ cược) \(o = p/(1-p)\) biến đổi xác suất thành thang Janus, nơi \(0\) đối ngẫu với \(\odot\) một cách tự nhiên. Đây là lý do gamblers tính odds bằng \(\boxplus\) (kết hợp các bets độc lập) mà không nhận ra mình đang dùng phép toán đại số đối ngẫu.

Đánh giá thành thật: cái gì mới, cái gì cũ

Đây là phần mình muốn rất thẳng thắn. Học thuật không có chỗ cho hư hoặc, và mình đã mở bài bằng confession rằng mình từng tưởng đây là phát minh, rồi phát hiện nó không phải. Mình không định kết bài bằng việc tự thuê quên đoạn confession đó.

Cái gì đã có sẵn (chiếm 95% bài này):

• Phần tử \(\odot = 1/0\): chính là \(\infty\) trong projective line \(\hat{\mathbb{R}}\) hoặc Riemann sphere \(\hat{\mathbb{C}}\), đã có từ thế kỷ 19 ^{[1] [6]}.
• Tập \(\mathbb{J} = \mathbb{R} \cup \{\odot\}\): đồng nhất với projective line \(\mathbb{RP}^1\).
• Phép \(\boxplus\) (cộng đối ngẫu): chính là parallel operator \(\parallel\) của Seshu 1956, đã có ký hiệu chuẩn và lịch sử 70 năm trong electrical engineering ^[4].
• Hàm phản chiếu \(\varphi\): là trường hợp đặc biệt của Möbius transformation trên \(\mathbb{RP}^1\).
• Hai-phép-cộng-trong-một-cấu-trúc: gặp trong tropical geometry, idempotent semirings, và logic chuyển mạch.
• Định nghĩa "mọi expression chia 0 đều có giá trị" với một phần tử \(\bot\) thêm vào: đây là wheel theory của Carlström 2001 ^{[2] [3]}. Wheel theory thực ra mạnh hơn số Janus.

Cái mình thấy mới (5% còn lại):

• Framework đối ngẫu phản chiếu rõ ràng: việc trình bày \(0\) và \(\odot\) như cặp song sinh đối xứng, với hai phép cộng đối ngẫu hoàn hảo qua \(\varphi\), là một góc nhìn cô đọng mà mình chưa thấy được trình bày tập trung trong một sách giáo khoa duy nhất. Projective line dạy \(0\)/\(\infty\) duality nhưng thường không định nghĩa phép \(\boxplus\) song hành. Parallel operator dạy phép \(\boxplus\) nhưng thường không liên hệ với projective line. Số Janus là việc nối hai mảnh đã có sẵn.
• Định lý 4 (Bất khả xâm phạm của \(0 \otimes \odot\)): chứng minh rằng đúng một điểm không xác định là cần thiết, dùng đối xứng phản chiếu, là một lập luận khá gọn. Projective line liệt kê sáu undefined expressions như một fact, không có cấu trúc thống nhất. Số Janus rút lại còn đúng một và cho lý do.
• Pedagogical packaging: gói lại các ý tưởng cũ thành một hệ thống tự nhất quán có tên, ký hiệu, định lý, ứng dụng, dễ dạy cho học sinh 12 tuổi mà không cần học topology trước.

Phán quyết. Số Janus không phải toán học hoàn toàn mới chưa ai từng nghĩ tới. Các thành phần riêng lẻ đã tồn tại trong literature từ 1857 (Riemann sphere) đến 2001 (wheel theory). Nhưng tổng thể framework, được gói lại với tên gọi nhất quán, một bộ tiên đề tối thiểu, một định lý cấu trúc thống nhất sáu undefined expressions xuống một, và cách dẫn dắt từ vấn đề chia cho 0 đến cấu trúc đối ngẫu, là một cách trình bày mà mình chưa thấy ở một chỗ duy nhất.

Trong toán học, đôi khi cái mới nhất không phải định lý chưa được chứng minh, mà là cách nhìn làm cho các định lý cũ hiện ra dưới ánh sáng mới. Số Janus là một góc chiếu mới vào câu hỏi đã 2000 năm tuổi.

Câu hỏi để ngỏ

Để biến cách kể này thành một framework thực sự sống động, còn vài câu hỏi mình chưa trả lời được:

1. Mở rộng ra số phức. Số Janus phức \(\mathbb{J}_{\mathbb{C}} = \mathbb{C} \cup \{\odot\}\) chính là Riemann sphere. Trên 2D, ánh xạ phản chiếu \(\varphi(z) = 1/z\) phức tạp hơn. Cấu trúc đối ngẫu \(\oplus/\boxplus\) có còn đẹp không? Mình chưa kiểm tra kỹ.
2. Tổng quát hoá lên ma trận. Định nghĩa phép \(\boxplus\) trên ma trận thông qua nghịch đảo: \(A \boxplus B = (A^{-1} + B^{-1})^{-1}\). Đây thực ra là phép toán có tên trong literature, gọi là parallel sum của ma trận, Anderson-Duffin 1969. Mình chưa đào sâu.
3. Topology của \(\mathbb{J}\). \(\mathbb{J}\) tự nhiên có cấu trúc đường tròn (\(S^1\) hơn là \(\mathbb{R}\)). Phép \(\oplus\) và \(\boxplus\) có thể được hiểu như phép cộng trên đường tròn này. Hình học chính xác của các phép toán này khi viewed as operations on \(S^1\) chưa được mình điều tra.
4. Quan hệ với wheel theory. Wheel của Carlström là extension của projective line. Số Janus cũng là extension của projective line. Hai cấu trúc này có một natural map giữa chúng không? Cái nào "tốt hơn" cho pedagogy? Tốt hơn cho computer science (vì wheel có \(\bot\) giống NaN của floating-point)?

Nếu bạn là sinh viên toán hoặc vật lý và thấy thú vị, đây có thể là điểm khởi đầu cho một dự án nghỏ nhỏ. Nếu bạn nghĩ mình đang nhầm ở chỗ nào, mình muốn nghe.

Kết

Mình bắt đầu bài này bằng một confession: mình tưởng mình phát minh ra số Janus, nhưng toán học đã có ba framework cho phép chia 0 từ trước. Mình kết thúc bằng một câu hỏi mà mình thực sự không có câu trả lời gọn.

Câu đó là: tại sao trường học không dạy bất cứ ai trong ba framework trên?

Mình có một giả thuyết. Projective line đòi hỏi topology trước khi dạy đại số, mà topology không có chỗ trong giáo trình phổ thông. Wheel theory đòi hỏi abstract algebra ở mức bài giảng năm 3 đại học, không thể đưa vào phổ thông. Parallel operator có thể dạy ở phổ thông (vì học sinh đã quen công thức), nhưng giáo trình toán và giáo trình vật lý được viết bởi hai nhóm người không nói chuyện với nhau, nên không ai gọi tên kết nối giữa chúng.

Giả thuyết đó có thể đúng. Có thể không. Cái mình tin chắc hơn: nếu có một thứ giáo dục toán phổ thông cần thay đổi, đó là dừng nói "không xác định" như một câu trả lời cuối cùng. Nói "trong tập số bạn đang học, không có nghiệm cho phương trình đó" sẽ tinh tế hơn nhiều, và sẽ mở đường cho học sinh đặt câu hỏi tiếp theo.

Phép chia cho \(0\) không cấm. Nó chỉ đang chờ bạn nhìn nó dưới ánh sáng phù hợp.

Bình