Öklid uzayı
Matematikte Öklid uzayı, Öklid geometrisinin üç boyutlu uzayıdır ve bu kavramlar, çok boyutlu olarak genelleştirilir. “Öklid” terimi bu uzayları, Öklid geometrisi olmayan eğimli uzaydan ve Einstein'nın genel görelilik kuramından ayırt eder. Bu adı Yunan matematikçi Öklid'den dolayı almıştır.
Modern matematikte Öklid uzayını ifade etmek için kartezyen koordinat sistemi ve analitik geometri kavramları çok yaygın olarak kullanılır.
Reel koordinat uzayı
Reel sayılar kümesi R ile gösterilsin. Herhangi bir pozitif n tamsayısı. Rde n boyutlu vektör uzayında tüm n katlı reel sayılardan oluşsun. Bu Rn sembolü ile gösterilir ve bazen reel koordinat uzayı olarak adlandırılır. Rnde bir eleman şöyle yazılabilir;
Her bir xi, bir reel sayıdır. Rndeki vektör uzayı işlemleri şöyle ifade edilir;
Rn vektör uzayı doğal taban ile gösterilir:
Rnde keyfi bir vektör, aşağıdaki biçimde yazılabilir;
Rn, bir n boyutlu vektör uzayında prototip örnektir. Aslında her reel n boyutlu vektör uzayı V, Rn izomorfizmasıdır.
Öklid yapısı
Öklid uzayı, bir reel koordinat uzayında daha fazlasıdır. Öklid geometrisinde işlem yapmak için noktalar arasındaki mesafeden ve çizgi veya vektörler arasındaki açıdan da bahsetmek gerekir. Bu nicelikleri elde etmenin doğal yolu, Rn'de nokta çarpım kullanmak gerekir. Herhangi x ve y iki reel nvektörü nokta çarpımı şöyle ifade edilir;
Sonuç daima bir reel sayıdır. Ayrıca xin kendisi ile nokta çarpımı hiçbir zaman negatif olmaz. Bu çarpım, bir x vektörünün "uzunluğunu" ifade etmemizi sağlar, şöyle ki;
Bu uzunluk fonksiyonu, gerekli norm özelliğini sağlar ve Rnde Öklid normu olarak adlandırılır.
θ (0° ≤ θ ≤ 180°), x ile y arasındaki sabit açıdır (periyodik olmayan) ve şöyle ifade edilir;
burada cos−1, arccos'un ters trigonometrik fonksiyonudur.
Son olarak, Rndeki bir metriği (uzaklık fonksiyonunu) ifade etmek için aşağıdaki norm kullanılabilir;
Bu uzaklık fonksiyonu Öklid uzaklığı olarak adlandırılır ve Pisagor teoreminin bir biçimi olarak görülebilir.
Reel koordinat uzayı ile bu Öklid yapısı Öklid uzayı olarak adlandırılır ve daha çok En sembolü ile gösterilir. (Çoğu yazar, Öklid uzayında çalışırken Öklid yapısının anlaşılması için Rn sembolünü kullanmayı tercih eder).
T doğrusal dönüşümlerine yönelimi ifade etmek için Öklid uzayı dönüşü (rotasyonu) kullanılır. Bunlar açı ve uzaklıkla belirtilir;
Matrisde dönüş, özel ortogonal matrislerdir.