Homology is a concept that is used in many branches of algebra and topology. Historically, the term "homology" was first used in a topological sense by Poincaré. To him, it meant pretty much what is now called a bordism, meaning that a homology was thought of as a relation between manifolds mapped into a manifold. Such manifolds form a homology when they form the boundary of a higher-dimensional manifold inside the manifold in question.

To simplify the definition of homology, Poincaré simplified the spaces he dealt with. He assumed that all the spaces he dealt with had a triangulation (i.e., they were "simplicial complexes"). Then instead of talking about general "objects" in these spaces, he restricted himself to subcomplexes, i.e., objects in the space made up only on the simplices in the triangulation of the space. Eventually, Poincaré's version of homology was dispensed with and replaced by the more general singular homology. Singular homology is the concept mathematicians mean when they say "homology."

In modern usage, however, the word homology is used to mean homology group. For example, if someone says " did  by computing the homology of ," they mean " did  by computing the homology groups of ." But sometimes homology is used more loosely in the context of a "homology in a space," which corresponds to singular homology groups.

An example of a homology is the degree-one integral homology for a domain in . In this case, a homology class is represented by a finite sum or difference of closed loops. For example, consider the loops in the twice punctured plane {(0,0),(1,0)}" src="https://mathworld.wolfram.com/images/equations/Homology/Inline8.gif" style="height:17px; width:109px" />, illustrated above.

The equality  holds in homology because the difference is the homology boundary of a compactly supported region. The homology of a space is an algebraic object which reflects the topology. The algebraic tools used are called homological algebra, and in that language, the homology is a derived functor, the homology of a long exact sequence.

Singular homology groups of a space measure the extent to which there are finite (compact) boundaryless gadgets in that space, such that these gadgets are not the boundary of other finite (compact) gadgets in that space.

A generalized homology or cohomology theory must satisfy all of the Eilenberg-Steenrod Axioms with the exception of the dimension axiom.

REFERENCES:

Goldberg, S. I. Curvature and Homology, enl. ed. New York: Dover, 1998.

اخر الاخبار

اخبار العتبة العباسية المقدسة

قسم الإعلام يشارك في الاجتماع التحضيري لمناقشة الخطة الإعلامية لزيارة عاشوراء

بحضور متوليها الشرعي.. العتبة العباسية المقدسة تواصل إقامة المجالس الحسينية لإحياء شهر المحرم

قسم الشؤون الفكرية يطلق برنامجه التبليغي في أكثر من 20 دولة إفريقية

شعبتا الخطابة النسوية والتوجيه الديني تواصلان إقامة المجالس الحسينية في مرقد أبي الفضل العباس (عليه السلام)

المزيد

الآخبار الصحية

دراسة تكشف علاقة خطيرة بين عمر الأم وصحة مولودها

دراسة تحذر.. اضطراب نوم بسيط قد يسبب الموت المبكر ؟

الاستحمام بالماء الساخن.. راحة مؤقتة وأضرار دائمة للبشرة

ماذا يحدث للجسم عند تخطي وجبة الإفطار؟

المزيد

الآخبار التكنلوجية

كيف تساعد الصيانة الوقائية في الحفاظ على كفاءة التكييف في سيارتك ؟

في ظاهرة غريبة حيرت العلماء.. كوكبنا قد يسجل أقصر يوم في التاريخ هذا الصيف!

السد الصيني العملاق يعيق دوران الأرض ويغيّر شكلها ؟

السعودية تطلق 10 تجارب علمية إلى محطة الفضاء الدولية

المزيد