Titik

Titik (geometri)

Titik di dalam geometri Euclidean

Sehimpunan berhingga titik-titk (biru) di dalam ruang euclid dua dimensi.

Titik sering dipandang di dalam kerangka kerja geometri Euklides, di mana ia adalah salah satu objek yang mendasar. Euclid mulanya mendefinisikan titik secara kabur, sebagai "yang tak memiliki bagian". Di dalam ruang Euclidean dua dimensi, titik dinyatakan oleh pasangan terurut, ${\displaystyle \,(x,y)}$, bilangan, di mana bilangan pertama yang menurut konvensi menyatakan horizontal dan sering dituliskan sebagai ${\displaystyle \,x}$, dan bilangan kedua secara konvensi menyatakan vertikal dan sering dituliskan sebagai ${\displaystyle \,y}$. Gagasan ini mudah diperumum ke dalam ruang Euclid tiga dimensi, di mana titik dinyatakan oleh pasangan terurut ganda-tiga, ${\displaystyle \,(x,y,z)}$, dengan bilangan tambahan ketiga menyatakan kedalaman dan diwakili oleh z. Perumumuman lebih lanjut dinyatakan oleh pasangan terurut ganda-n,${\displaystyle \,(a_{1},a_{2},...,a_{n})}$ di mana n adalah dimensi ruang tempat titik berada.
Banyak objek yang dibangun di dalam geometri Euclid terdiri dari tak hingga banyaknya kumpulan titik-titik yang sesuai dengan aksioma-aksioma tertentu. Hal ini biasanya dinyatakan oleh himpunan titik-titik; misalnya, garis adalah himpunan tak hingga banyaknya titik-titik yang berbentuk ${\displaystyle \,L=\lbrace (a_{1},a_{2},...a_{n})|a_{1}c_{1}+a_{2}c_{2}+...a_{n}c_{n}=d\rbrace }$, di mana ${\displaystyle \,c_{1}}$ melalui ${\displaystyle \,c_{n}}$ dan ${\displaystyle \,d}$ adalah konstanta dan n adalah dimensi ruang. Juga terdapat konstruksi-konstruksi serupa yang mendefinisikan bidang, ruas garis, dan konsep-konsep lainnya yang saling berkaitan.
Selain mendefinisikan titik dan konstruksi yang berkaitan dengan titik, Euclid juga mempostulatkan gagasan kunci tentang titik; dia mengaku bahwa dua titik sembarang dapat dihubungkan oleh sebuah garis lurus. Ini dapat dengan mudah diperiksa di bawah perluasan modern geometri Euklides, dan menyisakan dampak-dampak pada introduksinya, mengizinkan konstruksi hampir semua konsep geometri tentang waktu. Tetapi, postulat Euclid tentang titik tidak pernah lengkap, tidak pula definitif, karena dia kadang-kadang mengasumsikan fakta tentang titik yang tidak mengikuti secara langsung aksioma-aksiomanya, misalnya pengurutan titik-titik pada garis atau keujudan titik-titik tertentu. Meskipun demikian, perluasan modern sistem ini berhasil menghilangkan anggapan-anggapan ini.