Тачка (геометрија)

Тачка је један од основних појмова геометрије којим се означава бесконачно мали објекат без дужине или запремине. Да би се тачка дефинисала, потребно је знати само њено место у простору, а она сама се сматра основним елементом од кога је простор сачињен. Представља место пресека било које две линије у равни.Праве и дужи су непрекидни скупови тачака (сходно томе, место где се секу две праве је тачка), раван непрекидан скуп правих итд. По конвенцији, имена тачака су велика слова латинице, а на цртежима се обележавају малим круговима поред којих се ова имена уписују.

Прецизније, у Еуклидској геометрији, тачка је примитивни појам на којем је изграђена геометрија, што значи да тачка не може бити дефинисана у смислу претходно дефинисаних објеката. Односно, тачку дефинишу само нека својства, која се називају аксиомима, и која она мора да задовољи. Конкретно, геометријске тачке немају ниједну дужину, површину, запремину или било који други димензиони атрибут. Уобичајено тумачење је да концепт тачке треба да обухвати појам јединствене локације у Еуклидском простору.

Тачке у Еуклидовој геометрији

Коначан скуп тачака (плава) у 2Д Еуклидском простору.

Тачка у еуклидовој геометрији нема величину, правац, смер, нити било коју другу особину сем положаја. На почетку I књиге Еуклидових Елемената стоје следеће дефиниције:

Дефиниција 1

Тачка је оно што нема делова.

Дефиниција 3

Крајеви линије су тачке.

У тражењу примата линије и тачке, Еуклид наводи да је тачка основна, а линија је оно што садржи тачке, док Аристотел радије узима линију за основу, а тачка је оно што је на крајевима линије.

Међутим постоје различити преводи и интерпретације Еуклидове дефиниције, међу којима и следеће: „Тачка је оно што нема пружање“ као најбољи превод, али недовољно јасан данашњем читаоцу оригиналне реченице

ά Σημετόν έστιν, οϋ μέρος ούθέν

Дефиниција „Тачка је оно што нема меру“ не би била добра јер тачка има свој положај, а то јесте некаква мера дужине (удаљеност од неке референтне тачке).

У данашњем језику је најприсутнија и терминологији најближа следећа дефиниција, у смислу интерпретације Еуклида

„Тачка је оно што нема димензије“.

Тачке, посматране у оквиру Еуклидске геометрије, су један од најтемељнијих објеката. Еуклид је првобитно дефинисао тачке као „оно што нема дела”. У дводимензионалном Еуклидском простору, тачка је представљена уређеним паром (x, y) бројева, где први број конвенционално представља хоризонталу и често се означава x, а други број конвенционално представља вертикалу и често се означава y. Ова идеја је лако генерализована за тродимензионални Еуклидски простор, где је тачка представљена као уређена тројка (x, y, z) са додатним трећим бројем који означава дубину и често се означава z. Даљне генерализације су представљене као уређени туплет n услова, (a₁, a₂, … , a_n), где је n димензија простора у којем се тачка налази.

Многе конструкције унутар еуклидске геометрије састоје се од неограничене колекције тачака које су у складу са одређеним аксиомима. То се обично представља скупом тачака; Као пример, линија је неограничен скуп тачака облика $\scriptstyle {L=\lbrace (a_{1},a_{2},...a_{n})|a_{1}c_{1}+a_{2}c_{2}+...a_{n}c_{n}=d\rbrace }$, где су c₁ кроз c_n и d константе и n је димензија простора. Сличне конструкције постоје које дефинишу раван, линијски сегмент и остале сличне концепте. Успут, дегенерисани линијски сегмент се састоји од једне тачке.

У додатку са дефинисањем тачака и облика везаних за тачке, Еуклид је такође узео као истинито кључну идеју о тачкама; тврдио је да било које две тачке могу бити повезане правцем. Ово се лако потврђује под модерном експанзијом Еуклидске геометрије, те има трајне последице на свом представљању, допуштајући конструкцију скоро свих геометријских концепата времена. Ипак, Еуклидови постулати тачака нису ни комплетни нити дефинитивни, јер је повремено претпостављао чињенице о тачкама које нису следиле директно из његових аксиома, попут редања тачака на линију или постојање посебних тачака. Упркос томе, модерне експанзије система служе за уклањање ових претпоставки.

Димензија тачке

Постоји неколико нееквивалентних дефиниција димензије у математици. У свим општим дефиницијама, тачка је 0-димензионална.

Тачке у Картезијанској геометрији

Локација тачке у простору може бити описана са три реална броја који представљају координате у тродимензионалном простору. На пример:

P = (2,6,9).

На овај начин тачка се може описати и у вишедимензионалном простору. Опис тачке је сличан опису вектора који такође може да постоји у вишедимензионалном простору. Разлика између вектора и тачке је у томе што вектор има и правац и дужину, зато се подразумева да је почетна тачка вектора (0,0,0).

Тачка у простору димензије 2 или веће

Свака тачка која припада простору димензије n се да представити са једном уређеном n-торком скалара, који припадају пољу скалара над којим је изграђен простор а представљају њене координате у том простору. Тако би на пример тачка P из Eⁿ била представљена као P=(P₁,P₂,...,P_n) при чему су P_i из E, i=1,..,n.

Растојање између две тачке

Растојање између две тачке из простора Eⁿ се у еуклидовој геометрији дефинише као збир квадрата разлика њихових координата. На пример:

$A=(A_{1},\dots ,A_{n}),B=(B_{1},\dots ,B_{n})\in E^{n}$

$d(A,B)={\sqrt {\sum _{k=1}^{n}{(A_{i}-B_{i})}^{2}}}={\sqrt {(A_{1}-B_{1})^{2}+\dots +(A_{n}-B_{n})^{2}}}$

Димензија векторског простора

Главни чланак: Димензија векторског простора

Димензија векторског простора је максимална величина линеарно независног подскупа. У векторском простору који се састоји од једне тачке (која не смије бити нулти вектор 0), не постоји линеарно независан подскуп. Нулти вектор није по себи линеарно независан, јер постоји нетривијална линеарна комбинација која га чини нулом: $1\cdot \mathbf {0} =\mathbf {0}$.

Тополошка димензија

Тополошка димензија тополошког простора X је дефинисана да буде минималне вредности n, таква да је сваки ограничени отворени интервал ${\mathcal {A}}$ од X признаје ограничен отворени интервал ${\mathcal {B}}$ од X који рафинира ${\mathcal {A}}$ у којем се тачка не налази у више од n+1 елемената. Ако такав најмањи n не постоји, за простор се каже да је од бесконачно-покривене димензије.

Тачка је нулте димензије са поштовањем покривености димензије, јер сваки отворени интервал простора има рафинирање које се састоји од једног отвореног скупа.

Хаусдорфова димензија

Нека је X метрички простор. Ако је S ⊂ X и d ∈ [0, ∞), д-димензионални Хаусдорфов садржај од S је инфимум скупа бројева за δ ≥ 0 таквих да постоји нека (индексирана) колекција лоптица $\{B(x_{i},r_{i}):i\in I\}$ које покривају S са r_i > 0 за сваки i ∈ I који задовољава $\sum _{i\in I}r_{i}^{d}<\delta$.

Хаусдорфова димензија X је дефинисана са

$\operatorname {dim} _{\operatorname {H} }(X):=\inf\{d\geq 0:C_{H}^{d}(X)=0\}.$

Тачка има Хаусдорфову димензију 0, јер може бити покривена само једном лоптом произвољно малог радијуса.

Геометрија без тачака

Иако је идеја тачке генерално сматрана темељем у стандардној геометрији и топологији, постоје неки системи који су је заборавили, нпр. некомутативна геометрија и топологија без тачке. Бесмислени и без-тачке простор није дефинисан као скуп, него преко неке структуре (алгебарске или логичне респективно), што изгледа као добро позната функција простора у скупу: алгебра непрекидних функција или алгебра скупова респективно. Прецизније, такве структуре генерализују добро познате просторе функција у смислу да операција „узима вредност на овој тачки” може да не буде дефинисана. Даља традиција почиње из неких књига аутора А. Н. Вајтхед у којима је појам регије претпостављен као примитив заједно са оним из инклузије или конекције.

Маса тачака и Диракова делта функција

Главни чланак: Диракова делта функција

Често у физици и математици, корисно је замишљати као да има ненулту масу или набој (ово је посебно често у електромагнетизму, где су електрони идеализовани као тачке са ненултим набојем). Диракова делта функција, или δ функција, јесте (неформално) генерализована функција реалне бројне линије која је нула свуда осим у нули, са интегралом једног на целој реалној линији. Делта функција се понекад сматра као бесконачно висока, бесконачно танак шпиц на извору, са укупном површином један испод шпица, те физикално представља идеализирану тачкасту масу или тачкасти набој. Први пут је објављена од стране теоретског физичара Пола Дирака. У контексту обраде сигнала често се означава као јединични импулсни симбол (или функција). Њен дискретни аналог је Кронекер делта функција која се често дефинише на ограниченом домену и узима вредности 0 и 1.

Напомене

• ^ Антон Билимовић, Еуклидови Елементи, Прва књига, САНУ, 1949

Литература

• Ohmer, Merlin M. (1969). Elementary Geometry for Teachers. Reading: Addison-Wesley. стр. 34–37. OCLC 00218666. 
• Clarke, Bowman, 1985, "Individuals and Points," Notre Dame Journal of Formal Logic 26: 61–75.
• De Laguna, T., 1922, "Point, line and surface as sets of solids," The Journal of Philosophy 19: 449–61.
• Gerla, G., 1995, "Pointless Geometries" in Buekenhout, F., Kantor, W. eds., Handbook of incidence geometry: buildings and foundations. North-Holland: 1015–31.
• Whitehead, A. N., 1919. An Enquiry Concerning the Principles of Natural Knowledge. Cambridge University Press. . 2nd ed., 1925.
• Whitehead, A. N., 1920. The Concept of Nature. Cambridge University Press. . 2004 paperback, Prometheus Books. Being the 1919 Tarner Lectures delivered at Trinity College.
• Whitehead, A. N., 1979 (1929). Process and Reality. Free Press. .
• Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092 
• Munkres, James R. (2000). Topology (2nd изд.). Prentice-Hall. ISBN 0-13-181629-2. 
• Karl Menger. General Spaces and Cartesian Spaces, (1926) Communications to the Amsterdam Academy of Sciences. English translation reprinted in Classics on Fractals. ISBN 0-201-58701-7. , Gerald A.Edgar, editor, Addison-Wesley (1993)
• Karl Menger, Dimensionstheorie, (1928) B.G Teubner Publishers, Leipzig.
• A. R. Pears. Dimension Theory of General Spaces. ISBN 0-521-20515-8. , (1975) Cambridge University Press.
• V. V. Fedorchuk. The Fundamentals of Dimension Theory, appearing in Encyclopaedia of Mathematical Sciences, Volume 17, General Topology I. ISBN 3-540-18178-4. , (1993) A. V. Arkhangel'skii and L. S. Pontryagin (Eds.), Springer-Verlag, Berlin .
• Gannon, Terry (2006), Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics, ISBN 0-521-83531-3 
• Axler, Sheldon (2015). Linear Algebra Done Right. Undergraduate Texts in Mathematics (3rd изд.). Springer. ISBN 978-3-319-11079-0. 
• Dodson, M. Maurice; Kristensen, Simon (12. 6. 2003). „Hausdorff Dimension and Diophantine Approximation”. Fractal Geometry and Applications: A Jubilee of Benoît Mandelbrot. Proceedings of Symposia in Pure Mathematics. 72. стр. 305—347. Bibcode:2003math......5399D. ISBN 9780821836378. S2CID 119613948. arXiv:math/0305399 . doi:10.1090/pspum/072.1/2112110. 
• Hurewicz, Witold; Wallman, Henry (1948). Dimension Theory. Princeton University Press. 
• E. Szpilrajn (1937). „La dimension et la mesure”. Fundamenta Mathematicae. 28: 81—9. 
• Marstrand, J. M. (1954). „The dimension of cartesian product sets”. Proc. Cambridge Philos. Soc. 50 (3): 198—202. Bibcode:1954PCPS...50..198M. doi:10.1017/S0305004100029236. 
• Mattila, Pertti (1995). Geometry of sets and measures in Euclidean spaces. Cambridge University Press. ISBN 978-0-521-65595-8. 
• Arfken, G. B.; Weber, H. J. (2000), Mathematical Methods for Physicists (5th изд.), Boston, Massachusetts: Academic Press, ISBN 978-0-12-059825-0 
• Dirac, Paul (1930), The Principles of Quantum Mechanics (1st изд.), Oxford University Press .

Спољашње везе

• Weisstein, Eric W. „Point”. MathWorld. 
• Definition of Point with interactive applet
• Points definition pages, with interactive animations that are also useful in a classroom setting. Math Open Reference
• MIT Linear Algebra Lecture on Independence, Basis, and Dimension by Gilbert Strang at MIT OpenCourseWare