იხილეთ წყარო გვერდისთვის მთელი და წილადი ნაწილის ფუნქციები

'''მთელი და წილადი ნაწილის ფუნქციები''' — მათემატიკასა და კომპიუტერულ მეცნიერებებში მნიშვნელოვანი გამოყენება აქვთ <math>\left[ x\right]</math> მთელი ნაწილის და <math>\left\{ x\right\}</math> წილადი ნაწილის ფუნქციებს. როგორც წესი ისინი განსაზღვრულია <math>\mathbb{R}</math> ნამდვილ რიცხვთა სიმრავლეზე.

ორივე ფუნქიის აღწერა:
:<math> 1) \forall x\in\left[n,n+1\right): \left[x\right]=n, n\in\{0,1,2,\dots\};</math>

:<math> 2) \forall x\in\mathbb{R}: \left[x\right]+\left[-x\right]=-1+\chi\left(x\in\mathbb{Z}\right);</math>

:<math> 3) \forall x\in\mathbb{R}: x=\left[x\right]+\left\{x\right\};</math>

:<math> 4) \forall x\in\mathbb{R}: \left\{x\right\}+\left\{-x\right\}=1-\chi\left(x\in\mathbb{Z}\right).</math>

პირველი ორი თვისება სტანდარტად არის მიღებული, ხოლო მეორე ორი შეთანხმებაზეა დამოკიდებული.

== აღნიშვნა და მაგალითები ==

მოცემული <math>x</math> რიცხვის მთელი ნაწილისთვის გამოიყენებოდა <math>[x]</math> აღნიშვნა, რომელიც შემოიღო [[კარლ_ფრიდრიხ_გაუსი|გაუსის]]. 1962 წელს [[კენეტ აივერსონმა]] ([https://ru.wikipedia.org/wiki/Айверсон,_Кеннет Кеннет Айверсон]) შემოიღეს აღნიშვნები <math>x</math> რიცხვის დამგვალებისთვის უმცირეს მთელ რიცხვამდე, რომელიც მასზე დიდია <math>\lceil x \rceil</math> „ჭერი“ და უდიდესი მთელ რიცხვამდე, რომელიც მასზე მცირეა <math>\lfloor x \rfloor</math> „იატაკი“.

თანამედროვე მათემატიკაში გამოიყენება ორივე აღნიშვნა, <math>[x]</math> და <math>\lfloor x \rfloor</math>. თუმცა შეიმჩნევა ტენდენცია აივერსონის აღნიშვნებზე გადასვლისა და ამის მიზეზია ორაზროვნება, თუ რა უნდა გავიგოთ „მთელი ნაწილის“ ქვეშ. მაგალითად <math>2.7</math>-ის მთელი ნაწილი არის <math>2,</math> მაგრამ <math>-2.7</math>-ის მთელ ნაწილად ვიღებთ <math>-3</math>-ს, თუმცა ამაზეც არ არის მიღწეული საბოლოო შეთანხმება, რაც გამოიხატება მათემატიკურ პროგრამებში და კალკულიატორებში.

თუმცა ამ აღნიშვნებსა და მოსაზრებებს შორის არის ურთიერთ ცალსახა დამოკიდებულება, ანუ გაუსის აღნიშვნებიდან შეგვიძლია აივერსონის აღნიშვნებში გადავიდაეთ და პირიქით. რადგან ეს ორაზროვნება გვინდა თავიდან ავიცილოთ, ჩვენ გამოვიყენებთ ზემოთ მოყვანილ ოთხ განსაზღვრებას.

== ლიტერატურა ==
* {{წიგნი
|ავტორი       = Р. Грэхем, Д. Кнут, О. Паташник.
|სათაური     = Конкретная математика
|ადგილი        = М.
|გამომცემლობა = «Мир»
|წელი         = 1998
|გვერდი      = 703
|isbn         = 5-03-001793-3
}}
* {{წიგნი
|ავტორი = М. К. Потапов, В. В. Александров, П. И. Пасиченко.
|სათაური = Алгебра и начала анализа
|გამომცემლობა = АО Столетие
|წელი = 1996
}}

[[კატეგორია:რიცხვთა თეორია]]