Ірацыянальны лік

Ірацыяна́льны лік (ад  — неразумны) — усе рэчаісныя лікі, якія не з’яўляюца рацыянальнымі  (адніманне мностваў рэчаісных і рацыянальных лікаў), — то бок, іх нельга запісаць у выглядзе , дзе  — цэлы лік, а  — натуральны, . Ірацыянальны лік раскладваецца ў бясконцы неперыядычны дзесятковы дроб, і гэтая яго ўласцівасць можа быць прынятая за азначэнне ірацыянальнага ліку.

Пра існаванне ірацыянальных лікаў (дакладней адрэзкаў, несувымерных з адрэзкам адзінкавай даўжыні), ведалі ўжо старажытныя матэматыкі: ім была вядомая, напрыклад, несувымернасць дыяганалі і бока квадрата, што раўнасільна ірацыянальнасці ліку История, 1970, Том 1, ст. 73..

Ірацыянальнымі з’яўляюцца, сярод іншых, адносіны даўжыні акружнасці да дыяметра круга (лік π), аснова натуральнага лагарыфма e, залатое сячэнне φ, квадратны корань з двухThe 15 Most Famous Transcendental Numbers . by Clifford A. Pickover. URL retrieved 24 October 2007.Irrational Numbers  // mathsisfun.com; URL retrieved 24 October 2007. URL retrieved 26 October 2007.. Усе квадратныя карані натуральных лікаў, акрамя поўных квадратаў, ірацыянальны.

Ірацыянальныя лікі таксама могуць разглядацца праз бясконцыя непарыўныя дробы. Следствам доказу Кантара з’яўляецца тое, што рэчаісныя лікі не злічальны, а рацыянальныя — злічальны, адсюль вынікае, што амаль усе рэчаісныя лікі ірацыянальны.

 Уласцівасці 
 Сума двух дадатных ірацыянальных лікаў можа быць рацыянальным лікам.
 Ірацыянальныя лікі вызначаюць дэдэкіндава сячэнне ў мностве рацыянальных лікаў, у якіх у ніжнім (левым) класе няма найбольшага, а ў верхнім (правым) — найменшага ліку.
 Мноства ірацыянальных лікаў усюды шчыльна на лікавай прамой: паміж любымі двума рознымі лікамі маецца ірацыянальны лік.

 Алгебраічныя і трэнсцэндэнтныя лікі 
Кожны ірацыянальны лік з’яўляецца або алгебраічным лікам, або трансцэндэнтным лікам (неалгебраічным). Мноства алгебраічных лікаў з’яўляецца злічальным мноствам. Паколькі мноства рэчыўных лікаў незлічальна, то мноства ірацыянальных лікаў таксама незлічальна.

Кожны рэчаісны трансцэндэнтны лік з’яўляецца ірацыянальным; алгебраічны лік можа быць як рацыянальным, так і ірацыянальным.

Мноства ірацыянальных лікаў з’яўляецца мноствам другой катэгорыіИльин, Садовничий, Сендов, 2006, ст. 64..

 Ірацыянальныя лікі і непарыўныя дробы 
Ірацыянальныя лікі прадстаўляюцца бясконцым непарыўным дробам. Прыклад, лік e:

Квадратычным ірацыянальнасцям адпавядаюць перыядычныя бесперапынныя дробы.

 Прыклады 
Ірацыянальнымі з’яўляюцца:

  для любога натуральнага , які не з’яўляецца дакладным квадратам.
 Лік , а таксама  для любога рацыянальнага .
  для любога дадатнага рацыянальнага .
 Лік , а таксама  для любога рацыянальнага .

 Літаратура 
 Матэматычная энцыклапедыя / Пад рэд. В. Берніка. Мн.: Тэхналогія, 2001.


 Kline, M. (1990). Mathematical Thought from Ancient to Modern Times, Vol. 1. New York: Oxford University Press. (Original work published 1972).


 Адрыен Мары Лежандр, Éléments de Géometrie, Note IV, (1802), Парыж
 Rolf Wallisser, «On Lambert’s proof of the irrationality of π», in Algebraic Number Theory and Diophantine Analysis, Franz Halter-Koch and Robert F. Tichy, (2000), Walter de Gruyer

Катэгорыя:Лікі