跳至內容

0的奇偶性

維基百科,自由的百科全書
Empty balance scale
天平的秤盤上包含零個對象,被分為兩個相等的組。

0是一個偶數。按照定義,若某數是2的整數倍數,那麼它就是偶數,而0=0×2,所以0為偶數。[1]

0還滿足其它一些由偶數構建出來的一些模型,例如在算術運算中的一些奇偶規則:偶數-偶數=偶數。

數學背景

[編輯]

一千多年以來,數學家一直難以解決數字,非數學家仍不確定如何將其分類巴比倫人古希臘人使用它來區分大小,例如:26 和 206。在此之前,人們只能根據上下文的使用,來判斷一個數字是否大於另一個數字。13世紀,義大利數學家斐波那契(Fibonacci)是第一個在歐洲普及阿拉伯數字的人。他將數字一到九分類為數字,而將零分類為符號[2]

根據劍橋大學千年數學項目詹姆斯·格萊姆博士的說法:「1990年代的反應時間實驗表明,人們在決定零是奇數還是偶數時要慢10%。」孩子們發現很難識別零是奇數還是偶數,「1990年代對小學生的一項調查顯示,約50%認為零是偶數,約20%認為零是奇數,其餘30%認為兩者都不是」格萊姆表示:「直到1600年,持續辯論和抗爭之後,零才真正被接受為偶數。」[2]

歐幾里得並未將1視為數字,但現在1也視為奇數。[3]

歐幾里得的元素

[編輯]
  1. 前幾個奇數是3、5、7、9、11。[4]
  2. 前幾個偶數是2、4、6、8、10。[4]

數論中眾多結論援引了算術基本定理和偶數的代數性質,因此上述選擇具有深遠的影響。例如,正數有唯一的整數分解這一事實,意味着我們可以確定一個數有偶數個不同的質因數還是奇數個不同的質因數。因為1不是素數,也沒有素數因子,是空積;因為0是偶數,所以1有偶數個不同的質因數。這意味着默比烏斯函數的值μ(1) = 1,這對於積性函數默比烏斯反演公式是很有必要的。[5]

為什麼0是偶數

[編輯]

大英百科全書》記載為:「大多數人都對數字0感到困惑,不確定它是否作為整數的起始,並且不知道其作為數字位置。從技術上講,它表示空集。」奇偶性(Parity)[6]是先期數學課程中最早學習的規則[3],將所有整數分成兩類的方式:偶數奇數[7]。偶數的最基礎的定義就可以直接用來證明0是偶數。偶數的定義是:如果一個數是2的整數倍數,那麼這個數便是偶數。例如:因為10=5×2,所以10是偶數。同樣的,因為0=0×2,所以0是偶數。[1]除了使用偶數的定義這樣一種證明方式來證明0是一個偶數以外,還有其它的方法來證明0是一個偶數。[8]

基礎解釋

[編輯]
On the left, boxes with 0, 2, and 4 white objects in pairs; on the right, 1, 3, and 5 objects, with the unpaired object in red
有0個元素的集合沒有紅色元素剩餘[9]

數字是用來計數的,人們用一個數字來表示集合元素的個數。0則對應這沒有元素,即空集中元素的個數。對數分奇偶就是為了將集合中的元素分為兩部分。如果一個集合中的元素可兩兩配對且沒有剩餘,那麼這個集合的基數便是偶數。如果有一個元素剩餘,那麼這個集合的基數便是奇數。在此定義之下,因為空集可以被分為兩份並且沒有元素剩餘,所以0是一個偶數。[10]

還有一種更為具象的偶數定義:如果一個集合中元素可以分成基數相同的兩個集合,那麼這個集合的基數為偶數,否則為奇數。這個定義與上一個定義是等價的。在此定義之下,因為空集可以分成2個基數都為0的集合,所以0是偶數。[11]

數字可以用數軸來可視化表現,其中有個常見的特徵奇數和偶數相互交替。當負數也算入其中時,這個特徵變得尤為明顯。

一個偶數之後的第二位數字是偶數,沒有任何理由跳過0。[12]

上述的定義使用了一些數學術語,例如偶數可以被2整除,這一定義歸根到底是一個約定。和偶數不同,一些數學術語有目的的排除一些平凡退化的情況。素數是一個非常有名的例子。在20世紀之前,素數的定義是不一致的,包括克里斯蒂安·哥德巴赫約翰·海因里希·蘭伯特阿德里安-馬里·勒讓德阿瑟·凱萊在內的一些非常著名的數學家都曾經在著作中寫過0是一個素數。[13]現在對素數的定義是:如果一個數有且只有1和本身兩個約數,那麼這個數是素數。因為1只有一個約數,所以1不是一個素數。這個定義因為更加適用於很多有關素數的數學理論而被廣泛接受。例如,當1不再被認為是一個素數時,算術基本定理的表述才更加簡單,容易。[14]

既然素數可以並不包括1,那麼偶數似乎也可以並不包括0。但是在這種情況下,一些和偶數有關的數學理論變得難以表述,甚至和奇偶數有關的四則運算都要受到影響。例如,奇偶數運算中存在着以下規則:

偶數±偶數=偶數
奇數±奇數=偶數
偶數×整數=偶數

在這些式子的左側填入適當的數字可以使得右邊為0:

2-2=0
-3+3=0
4×0=0

顯而易見地是,這些規則將會因為0不是一個偶數而變得不正確。[15]不過,一些堅持0不是偶數的人並不會因此改變自己的觀點,他們會加上一些特例來保證運算規則的正確性。例如,一個考試指南規定:0既不是偶數也不是奇數。[16]這樣,上述有關奇偶數的運算規則就必須加上一些例外:

偶數±偶數=偶數(或0)
奇數±奇數=偶數(或0)
偶數×整數=偶數(或0)

將0排除在偶數之外使得很多有關偶數的規則、定理都要加上類似的例外。

參考

[編輯]
  1. ^ 1.0 1.1 Penner 1999,第34頁: Lemma B.2.2, The integer 0 is even and is not odd. Penner uses the mathematical symbol ∃, the existential quantifier, to state the proof: "To see that 0 is even, we must prove that k (0 = 2k), and this follows from the equality 0 = 2 ⋅ 0."
  2. ^ 2.0 2.1 Laura Gray. Is zero an even number?. BBC News. 2012-12-02 [2020-02-06]. (原始內容存檔於2017-12-28) (英語). 
  3. ^ 3.0 3.1 David E. Joyce. 7. An odd number is that which is not divisible into two equal parts, or that which differs by a unit from an even number.. Department of Mathematics and Computer Science Clark University. 1997 [2020-02-06]. (原始內容存檔於2020-02-03) (英語). On Definition 6: The definition even number is clear: the number a is even if it is of the form b + b. The first few even numbers are 2, 4, 6, 8, 10. On Definition 7: The definition for odd number has two statements. The first can be taken as a definition of odd number, a number which is not divisible into two equal parts, that is to say not an even number. The first few odd numbers are 3, 5, 7, 9, 11. Euclid did not treat 1 as a number, but now 1 is also considered an odd number. 
  4. ^ 4.0 4.1 David E. Joyce. Definitions 6–7. Department of Mathematics and Computer Science Clark University. 1997 [2020-02-06]. (原始內容存檔於2020-02-03) (英語). The other statement is not a definition for odd number, since one has already been given, but an unproved statement. It is easy to recognize that something has to be proved, since if we make the analogous definitions for another number, say 10, then analogous statement is false. Suppose we say a 「decade number」 is one divisible by 10, and and 「undecade number」 is one not divisible by 10. Then it is not the case that an undecade number differs by a unit from a decade number; the number 13, for instance, is not within 1 of a decade number. The unproved statement that a number differing from an even number by 1 is an odd number ought to be proved. That statement is used in proposition IX.22 and several propositions that follow it. It could be proved using, for instance, a principle that any decreasing sequence of numbers is finite. 
  5. ^ Devlin 1985,第30–33頁
  6. ^ Nana Ho. 為什麼 0 是偶數?. 科技新報. 2020-02-04 [2020-02-06]. (原始內容存檔於2020-02-06) (中文(臺灣)). 
  7. ^ Jonathan Hogeback. Is Zero an Even or an Odd Number?. Encyclopædia Britannica. [2020-02-06]. (原始內容存檔於2019-08-11) (英語). So where exactly does 0 fall into these categories? Most people are confused by the number 0, unsure if it’s an integer to begin with and unaware of its placement as a number, because it technically signifies an empty set. Under the rules of parity, is zero even or odd? 
  8. ^ Ball, Lewis & Thames (2008,第15頁) discuss this challenge for the elementary-grades teacher, who wants to give mathematical reasons for mathematical facts, but whose students neither use the same definition, nor would understand it if it were introduced.
  9. ^ Compare Lichtenberg (1972,第535頁) Fig. 1
  10. ^ Lichtenberg 1972,第535–536頁 "...numbers answer the question How many? for the set of objects ... zero is the number property of the empty set ... If the elements of each set are marked off in groups of two ... then the number of that set is an even number."
  11. ^ Dickerson & Pitman 2012,第191頁.
  12. ^ Lichtenberg 1972,第537頁; compare her Fig. 3. "If the even numbers are identified in some special way ... there is no reason at all to omit zero from the pattern."
  13. ^ Caldwell & Xiong 2012,第5–6頁.
  14. ^ Gowers 2002,第118頁 "The seemingly arbitrary exclusion of 1 from the definition of a prime … does not express some deep fact about numbers: it just happens to be a useful convention, adopted so there is only one way of factorizing any given number into primes." For a more detailed discussion, see Caldwell & Xiong (2012).
  15. ^ Partee 1978,第xxi頁
  16. ^ Stewart 2001,第54頁 These rules are given, but they are not quoted verbatim.

相關書籍

[編輯]
  • Anderson, Ian, A First Course in Discrete Mathematics, London: Springer, 2001, ISBN 1-85233-236-0 
  • Anderson, Marlow; Feil, Todd, A First Course in Abstract Algebra: Rings, Groups, And Fields, London: CRC Press, 2005, ISBN 1-58488-515-7 
  • Andrews, Edna, Markedness Theory: the union of asymmetry and semiosis in language, Durham: Duke University Press, 1990, ISBN 0-8223-0959-9 
  • Arnold, C. L., The Number Zero, The Ohio Educational Monthly, 1919-01, 68 (1): 21–22 [2010-04-11], (原始內容存檔於2014-01-07) 
  • Arsham, Hossein, Zero in Four Dimensions: Historical, Psychological, Cultural, and Logical Perspectives, The Pantaneto Forum, 2002-01 [2007-09-24], (原始內容存檔於2007-09-25) 
  • Ball, Deborah Loewenberg; Hill, Heather C.; Bass, Hyman, Knowing Mathematics for Teaching: Who Knows Mathematics Well Enough To Teach Third Grade, and How Can We Decide? (PDF), American Educator, 2005 [2007-09-16], (原始內容存檔於2010-12-20) 
  • Ball, Deborah Loewenberg; Lewis, Jennifer; Thames, Mark Hoover, Making mathematics work in school (PDF), Journal for Research in Mathematics Education, 2008, M14: 13–44 and 195–200 [2010-03-04], (原始內容存檔 (PDF)於2010-12-20) 
  • Barbeau, Edward Joseph, Polynomials, Springer, 2003, ISBN 0-387-40627-1 
  • Baroody, Arthur; Coslick, Ronald, Fostering Children's Mathematical Power: An Investigative Approach to K-8, Lawrence Erlbaum Associates, 1998, ISBN 0-8058-3105-3 
  • Berlinghoff, William P.; Grant, Kerry E.; Skrien, Dale, A Mathematics Sampler: Topics for the Liberal Arts 5th rev., Rowman & Littlefield, 2001, ISBN 0-7425-0202-3 
  • Border, Kim C., Fixed Point Theorems with Applications to Economics and Game Theory, Cambridge University Press, 1985, ISBN 0-521-38808-2 
  • Brisman, Andrew, Mensa Guide to Casino Gambling: Winning Ways, Sterling, 2004, ISBN 1-4027-1300-2 
  • Bunch, Bryan H., Mathematical Fallacies and Paradoxes, Van Nostrand Reinhold, 1982, ISBN 0-442-24905-5 
  • Caldwell, Chris K.; Xiong, Yeng, What is the Smallest Prime?, Journal of Integer Sequences, 2012-12-27, 15 (9) [2014-03-23], arXiv:1209.2007可免費查閱, (原始內容存檔於2014-12-19) 
  • Column 8 readers, Column 8, The Sydney Morning Herald First, 2006-03-10: 18,
    Factiva英語Factiva SMHH000020060309e23a00049
     
  • Column 8 readers, Column 8, The Sydney Morning Herald First, 2006-03-16: 20,
    Factiva英語Factiva SMHH000020060315e23g0004z
     
  • Crumpacker, Bunny, Perfect Figures: The Lore of Numbers and How We Learned to Count, Macmillan, 2007, ISBN 0-312-36005-3 
  • Cutler, Thomas J., The Bluejacket's Manual: United States Navy Centennial, Naval Institute Press, 2008, ISBN 1-55750-221-8 
  • Dehaene, Stanislas; Bossini, Serge; Giraux, Pascal, The mental representation of parity and numerical magnitude (PDF), Journal of Experimental Psychology: General, 1993, 122 (3): 371–396 [2007-09-13], doi:10.1037/0096-3445.122.3.371, (原始內容 (PDF)存檔於2011-07-19) 
  • Devlin, Keith, The golden age of mathematics, New Scientist, 1985-04, 106 (1452) 
  • Diagram Group, The Official World Encyclopedia of Sports and Games, Paddington Press, 1983, ISBN 0-448-22202-7 
  • Dickerson, David S; Pitman, Damien J, Tai-Yih Tso , 編, Advanced college-level students' categorization and use of mathematical definitions (PDF), Proceedings of the 36th Conference of the International Group for the Psychology of Mathematics Education, 2012-07, 2: 187–195 [2014-03-23], (原始內容 (PDF)存檔於2013-12-18) 
  • Dummit, David S.; Foote, Richard M., Abstract Algebra 2e, New York: Wiley, 1999, ISBN 0-471-36857-1 
  • Educational Testing Service, Mathematical Conventions for the Quantitative Reasoning Measure of the GRE® revised General Test (PDF), Educational Testing Service, 2009 [2011-09-06], (原始內容存檔 (PDF)於2011-09-02) 
  • Freudenthal, H., Didactical phenomenology of mathematical structures, Dordrecht, The Netherlands: Reidel, 1983 
  • Frobisher, Len, Anthony Orton , 編, Primary School Children's Knowledge of Odd and Even Numbers, London: Cassell: 31–48, 1999  |booktitle=被忽略 (幫助)
  • Gouvêa, Fernando Quadros, p-adic numbers: an introduction 2nd, Springer-Verlag, 1997, ISBN 3-540-62911-4 
  • Gowers, Timothy, Mathematics: A Very Short Introduction, Oxford University Press, 2002, ISBN 978-0-19-285361-5 
  • Graduate Management Admission Council, The Official Guide for GMAT Review 11th, McLean, VA: Graduate Management Admission Council, 2005-09, ISBN 0-9765709-0-4 
  • Grimes, Joseph E., The Thread of Discourse, Walter de Gruyter, 1975, ISBN 90-279-3164-X 
  • Hartsfield, Nora; Ringel, Gerhard, Pearls in Graph Theory: A Comprehensive Introduction, Mineola: Courier Dover, 2003, ISBN 0-486-43232-7 
  • Hill, Heather C.; Blunk, Merrie L.; Charalambous, Charalambos Y.; Lewis, Jennifer M.; Phelps, Geoffrey C.; Sleep, Laurie; Ball, Deborah Loewenberg, Mathematical Knowledge for Teaching and the Mathematical Quality of Instruction: An Exploratory Study, Cognition and Instruction, 2008, 26 (4): 430–511, doi:10.1080/07370000802177235 
  • Hohmann, George, Companies let market determine new name, Charleston Gazette, 2007-10-25: 1C,
    Factiva英語Factiva CGAZ000020071027e3ap0001l
     
  • Kaplan Staff, Kaplan SAT 2400, 2005 Edition, Simon and Schuster, 2004, ISBN 0-7432-6035-X 
  • Keith, Annie, Mathematical Argument in a Second Grade Class: Generating and Justifying Generalized Statements about Odd and Even Numbers, IAP, 2006, ISBN 1-59311-495-8  |booktitle=被忽略 (幫助)
  • Krantz, Steven George, Dictionary of algebra, arithmetic, and trigonometry, CRC Press, 2001, ISBN 1-58488-052-X 
  • Levenson, Esther; Tsamir, Pessia; Tirosh, Dina, Neither even nor odd: Sixth grade students' dilemmas regarding the parity of zero, The Journal of Mathematical Behavior, 2007, 26 (2): 83–95, doi:10.1016/j.jmathb.2007.05.004 
  • Lichtenberg, Betty Plunkett, Zero is an even number, The Arithmetic Teacher, 1972-11, 19 (7): 535–538 
  • Lorentz, Richard J., Recursive Algorithms, Intellect Books, 1994, ISBN 1-56750-037-4 
  • Lovas, William; Pfenning, Frank, A Bidirectional Refinement Type System for LF, Electronic Notes in Theoretical Computer Science, 2008-01-22, 196: 113–128 [2012-06-16], doi:10.1016/j.entcs.2007.09.021, (原始內容存檔於2015-09-24) 
  • Lovász, László; Pelikán, József; Vesztergombi, Katalin L., Discrete Mathematics: Elementary and Beyond, Springer, 2003, ISBN 0-387-95585-2 
  • Morgan, Frank, Old Coins, Frank Morgan's Math Chat (The Mathematical Association of America), 2001-04-05 [2009-08-22], (原始內容存檔於2009-01-08) 
  • Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus, Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Springer, 2002, ISBN 3-540-43376-7 
  • Nuerk, Hans-Christoph; Iversen, Wiebke; Willmes, Klaus, Notational modulation of the SNARC and the MARC (linguistic markedness of response codes) effect, The Quarterly Journal of Experimental Psychology A, 2004-07, 57 (5): 835–863, doi:10.1080/02724980343000512 
  • Partee, Barbara Hall, Fundamentals of Mathematics for Linguistics, Dordrecht: D. Reidel, 1978, ISBN 90-277-0809-6 
  • Penner, Robert C., Discrete Mathematics: Proof Techniques and Mathematical Structures, River Edje: World Scientific, 1999, ISBN 981-02-4088-0 
  • Salzmann, H.; Grundhöfer, T.; Hähl, H.; Löwen, R., The Classical Fields: Structural Features of the Real and Rational Numbers, Cambridge University Press, 2007, ISBN 0-521-86516-6 
  • Siegel, Robert, Analysis: Today's date, November 19th, 1999, contains all odd numbers; the next even-numbered date will be February 2nd, 2000, All Things Considered (National Public Radio), 1999-11-19,
    Factiva英語Factiva ltcn000020010910dvbj003b3
     
  • Smock, Doug, The odd bets: Hines Ward vs. Tiger Woods, Charleston Gazette, 2006-02-06: 1B,
    Factiva英語Factiva CGAZ000020060207e226000bh
     
  • Snow, Tony, Bubba's fools, Jewish World Review, 2001-02-23 [2009-08-22], (原始內容存檔於2011-01-02) 
  • Sones, Bill; Sones, Rich, To hide your age, button your lips, Deseret News, 2002-05-08: C07,
    Factiva英語Factiva dn00000020020508dy580000o
     
  • Starr, Ross M., General Equilibrium Theory: An Introduction, Cambridge University Press, 1997, ISBN 0-521-56473-5 
  • Steinberg, Neil, Even year, odd facts, Chicago Sun-Times 5XS, 1999-11-30: 50,
    Factiva英語Factiva chi0000020010826dvbu0119h
     
  • Stewart, Mark Alan, 30 Days to the GMAT CAT, Stamford: Thomson, 2001, ISBN 0-7689-0635-0 
  • Stingl, Jim, 01:02:03 04/05/06; We can count on some things in life, The Milwaukee Journal Sentinel Final, 2006-04-05: B1,
    Factiva英語Factiva MLWK000020060405e2450003l
     
  • Tabachnikova, Olga M.; Smith, Geoff C., Topics in Group Theory, London: Springer, 2000, ISBN 1-85233-235-2 
  • The Math Forum participants, A question around zero, Math Forum » Discussions » History » Historia-Matematica (Drexel University), 2000 [2007-09-25], (原始內容存檔於2011-06-07) 
  • Turner, Julian, Sports Betting – For Lytham Look to the South Pacific, The Guardian, 1996-07-13: 23,
    Factiva英語Factiva grdn000020011017ds7d00bzg
     
  • Wilden, Anthony; Hammer, Rhonda, The rules are no game: the strategy of communication, Routledge Kegan & Paul, 1987, ISBN 0-7100-9868-5 
  • Wise, Stephen, GIS Basics, CRC Press, 2002, ISBN 0-415-24651-2 
  • Wong, Samuel Shaw Ming, Computational Methods in Physics and Engineering, World Scientific, 1997, ISBN 981-02-3043-5 

外部連結

[編輯]