Кіріспе
Метрикалық байланысты сипаттайтын сандар массиві. Математика мен физикада Кристофель белгілері – метрикалық байланысты сипаттайтын сандар массиві. Метрикалық байланыс – аффиндік байланыстың, метрикасы бар беттерге немесе басқа көптүрліліктерге қатысты мамандануы, бұл сол беттердегі қашықтықты өлшеуге мүмкіндік береді. Дифференциалдық геометрияда аффиндік байланыс метрикаға сілтеме жасамай анықталуы мүмкін, сондай-ақ параллель көшіру, ковариантты туындылар, геодезиялықтар және т.б. сияқты көптеген қосымша ұғымдар метриканы талап етпейді. Дегенмен, метрика болған жағдайда, бұл ұғымдар тікелей көптүрліліктің «пішінімен» байланысты болуы мүмкін; бұл пішін тангенциалдық кеңістіктің метрикалық тензор арқылы котангенциалдық кеңістікке қалай бекітілгенімен анықталады. Абстракті түрде, көптүрліліктің байланысты (ортонормальды) кадр жиынтығы бар деуге болады, мұнда әрбір «кадр» координаттық кадрдың мүмкін таңдауы болып табылады. Инвариантты метрика, кадр жиынтығының құрылымдық тобының ортогональды топ O(p, q) екенін білдіреді. Осының салдарынан, мұндай көптүрлілік міндетті түрде (псевдо) Риманн көптүрлілігі болып табылады. Кристофель белгілері (псевдо) Риманн геометриясының байланысын көптүрліліктегі координаттар арқылы нақты бейнелейді. Параллель көшіру, геодезиялықтар және т.б. сияқты қосымша ұғымдар Кристофель белгілері арқылы өрнектелуі мүмкін. Жалпы алғанда, берілген метрикалық тензор үшін метрикалық байланыстардың шексіз саны бар; алайда, бұрылыссыз бірегей байланыс бар – Леви-Чивита байланысы. Физикада және жалпы салыстырмалылықта Леви-Чивита байланысын қолдану кең таралған, бұл бұрылыс жоқ координаттық жүйелерде (холономдық координаттар деп аталады) жұмыс істеуді білдіреді. Мысалы, Евклид кеңістіктерінде Кристофель белгілері жергілікті координаттық базалардың нүктеден нүктеге қалай өзгеретінін сипаттайды. Негізгі n өлшемді көптүрліліктің кез келген нүктесінде, сол нүктедегі кез келген жергілікті координаттық жүйе үшін Кристофель белгілері Γ<sup>i</sup><sub>jk</sub> түрінде белгіленеді, мұнда i, j, k = 1, 2, ..., n. Бұл n × n × n массивінің әрбір мүшесі нақты сан болып табылады. Көптүрліліктегі сызықтық координаттық түрлендірулер кезінде Кристофель белгілері тензор компоненттері сияқты түрленеді, бірақ жалпы координаттық түрлендірулер (диффеоморфизмдер) кезінде олар солай болмайды. Кристофель белгілерінің көптеген алгебралық қасиеттері олардың аффиндік байланысқа қатынасынан туындайды; тек бірнешеуі ғана құрылымдық топтың ортогональды топ O(m, n) (немесе жалпы салыстырмалылық үшін Лоренц тобы O(3, 1)) екендігінен туындайды. Кристофель белгілері практикалық есептеулерді орындау үшін қолданылады. Мысалы, Риман қисықтық тензоры Кристофель белгілері мен олардың бірінші жартылай туындылары арқылы толығымен өрнектелуі мүмкін. Жалпы салыстырмалылықта байланыс гравитациялық күш өрісінің рөлін атқарады, ал сәйкес гравитациялық потенциал метрикалық тензор болып табылады. Координаттық жүйе мен метрикалық тензор белгілі бір симметрияны бөліскенде, Γ<sup>i</sup><sub>jk</sub>-нің көпшілігі нөлге тең болады. Кристофель белгілері Элвин Бруно Кристофельдің (1829–1900) құрметіне аталған.
In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo )Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo )Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols. In general, there are an infinite number of metric connections for a given metric tensor; however, there is a unique connection that is free of torsion, the Levi Civita connection. It is common in physics and general relativity to work almost exclusively with the Levi Civita connection, by working in coordinate frames (called holonomic coordinates) where the torsion vanishes. For example, in Euclidean spaces, the Christoffel symbols describe how the local coordinate bases change from point to point. At each point of the underlying n dimensional manifold, for any local coordinate system around that point, the Christoffel symbols are denoted Γ^(i)jk for 1=i, j, k = 1, 2, , n. Each entry of this n × n × n array is a real number. Under linear coordinate transformations on the manifold, the Christoffel symbols transform like the components of a tensor, but under general coordinate transformations (diffeomorphisms) they do not. Most of the algebraic properties of the Christoffel symbols follow from their relationship to the affine connection; only a few follow from the fact that the structure group is the orthogonal group O(m, n) (or the Lorentz group O(3, 1) for general relativity). Christoffel symbols are used for performing practical calculations. For example, the Riemann curvature tensor can be expressed entirely in terms of the Christoffel symbols and their first partial derivatives. In general relativity, the connection plays the role of the gravitational force field with the corresponding gravitational potential being the metric tensor. When the coordinate system and the metric tensor share some symmetry, many of the Γ^(i)jk are zero. The Christoffel symbols are named for Elwin Bruno Christoffel (1829–1900).
Ескерту
Төменде берілген анықтамалар Римандық және псевдо-Римандық көптүрліліктер үшін де жарамды, мысалы, жалпы салыстырмалылық теориясындағыдай, жоғары және төменгі индекстер (контравариантты және ковариантты индекстер) арасында нақты айырма жасалады. Егер басқаша көрсетілмесе, формулалар екі белгілік конвенциясына да қатысты. Осы мақалада Эйнштейннің жиынтық конвенциясы қолданылады, ал векторлар қалың шрифтпен белгіленеді. Леви-Чивита байланысының (немесе псевдо-Римандық байланыстың) байланыс коэффициенттері координаттық базисте көрсетілгенде Кристоффель символдары деп аталады.
Жалпы анықтама
Кристофель символдары екі түрде келеді: бірінші түр және екінші түр. Екінші түрдің анықтамасы негізгірек болғандықтан, ол бірінші кезекте ұсынылады.
Жалпы салыстырмалылық теориясы
Кристоффель символдары Эйнштейннің жалпы салыстырмалылық теориясында жиі қолданылады, онда кеңістік-уақыт Леви-Чивита байланысы бар қисық 4 өлшемді Лоренц манифольдімен бейнеленеді. Материяның қатысуында кеңістік-уақыттың геометриясын анықтайтын Эйнштейн өрісі теңдеулері Риччи тензорын қамтиды, сондықтан Кристоффель символдарының есептелуі маңызды. Геометрия анықталғаннан кейін, бөлшектер мен жарық сәулелерінің жолдары Кристоффель символдары тікелей пайда болатын геодезиялық теңдеулерді шешу арқылы есептеледі.
Жер бетіндегі координаттар бойынша
Жер бетіндегі нүктелерді сипаттайтын сфералық координаттар жүйесі (Жерді идеал сфера ретінде жуықтап қарастырады). X нүктесі үшін R – Жер ядросына дейінгі қашықтық (әдетте Жер радиусына шамалас). θ және φ – ендік және бойлық. Оң θ – солтүстік жарты шар. Туындыларды жеңілдету үшін бұрыштар радиандармен беріледі (мұнда d sin(x)/dx = cos(x), ал градус мәндері 360 / 2π қосымша көбейткішін енгізеді). Кез келген нүктеде жанама бағыттар – (жоғары), (солтүстік) және (шығыс). Сондай-ақ 1, 2, 3 индекстерін де пайдалануға болады. Қатысты метрикалық тензорда тек диагональдық элементтер ғана бар (вектор ұзындығының квадраты). Бұл координаттар жүйесінің артықшылығы, және ол әдетте дұрыс емес.