Hereditary property

Hereditary property

In mathematics, a hereditary property is a property of an object, that inherits to all its subobjects, where the term subobject depends on the context. These properties are particularly considered in topology and graph theory.

Contents

In topology

In topology, a topological property is said to be hereditary if whenever a space has that property, then so does every subspace of it. If the latter is true only for closed subspaces, then the property is called weakly hereditary.

For example, second countability and metrisability are hereditary properties. Sequentiality and Hausdorff compactness are weakly hereditary, but not hereditary.[1] Connectivity is not weakly hereditary.

In graph theory

In graph theory, a hereditary property is a property of a graph which also holds for (is "inherited" by) its induced subgraphs.[2] Alternately, a hereditary property is preserved by the removal of vertices.

In some cases, the term "hereditary" has been defined with reference to graph minors, but this is more properly called a minor-hereditary property. The Robertson–Seymour theorem implies that a minor-hereditary property may be characterized in terms of a finite set of forbidden minors.

Monotone property

There is no consensus for the meaning of "monotone property" in graph theory. Examples of definitions are:

  • Preserved by the removal of edges.[3]
  • Preserved by the removal of edges and vertices (i.e., the property should hold for all subgraphs).[2]
  • Preserved by the addition of edges and vertices (i.e., the property should hold for all supergraphs).[4]
  • Preserved by the addition of edges.[5] (This meaning is used in the statement of the Aanderaa–Karp–Rosenberg conjecture.)

The complementary property of a property that is preserved by the removal of edges is preserved under the addition of edges. Hence some authors avoid this ambiguity by saying a property A is monotone if A or AC (the complement of A) is monotone.[6] Some authors choose to resolve this by using the term increasing monotone for properties preserved under the addition of some object, and decreasing monotone for those preserved under the removal of the same object.

In model theory

In model theory and universal algebra, a class K of structures of a given signature is said to have the hereditary property if every substructure of a structure in K is again in K. A variant of this definition is used in connection with Fraïssé's theorem: A class K of finitely generated structures has the hereditary property if every finitely generated substructure is again in K. See age.

In matroid theory

In a matroid, every subset of an independent set is again independent. This is also sometimes called the hereditary property.

See also

References

  1. ^ *Goreham, Anthony, "Sequential Convergence in Topological Spaces
  2. ^ a b Alon, Noga; Shapira, Asaf (2008). "Every monotone graph property is testable". SIAM Journal on Computing 38 (2): 505–522. doi:10.1137/050633445. http://www.math.tau.ac.il/~nogaa/PDFS/monotone1.pdf. 
  3. ^ King, R. (1990), A lower bound for the recognition of digraph properties, Combinatorica, vol 10, 53–59
  4. ^ http://www.cs.ucsc.edu/~optas/papers/k-col-threshold.pdf
  5. ^ Spinrad, J. (2003), Efficient Graph Representations, AMS Bookstore, ISBN 0821828150, p9.
  6. ^ Ashish Goel; Sanatan Rai; Bhaskar Krishnamachari (2003). "Monotone properties of random geometric graphs have sharp thresholds". The Annals of Applied Probability 15 (4): 2535–2552. arXiv:math.PR/0310232. doi:10.1214/105051605000000575. 

Wikimedia Foundation. 2010.

Нужен реферат?

Look at other dictionaries:

  • hereditary property — A property is hereditary over a relation R if when x has the property, and R xy, then y also has the property …   Philosophy dictionary

  • Hereditary peer — Hereditary peers form part of the Peerage in the United Kingdom. There are over seven hundred peers who hold titles that may be inherited. Formerly, most of them were entitled to a seat in House of Lords, but since the House of Lords Act 1999… …   Wikipedia

  • hereditary — hereditarily /hi red i tair euh lee, red i ter /, adv. hereditariness, n. /heuh red i ter ee/, adj. 1. passing, or capable of passing, naturally from parent to offspring through the genes: Blue eyes are hereditary in our family. Cf. congenital. 2 …   Universalium

  • Graph property — In graph theory a graph property is any inherently graph theoretical property of graphs (formal definitions follow), distinguished from properties of graphs described in terms of various graph representations: graph drawings, data structures for… …   Wikipedia

  • Line of hereditary succession — Successor to hereditary title, property, office or like, in case of the hereditacy being indivisible, goes to one person at a time. There are also other sorts of order of succession than hereditary succession (such as line of non hereditary… …   Wikipedia

  • Immovable property — is an immovable object, an item of property that cannot be moved. In the United States it is also commercially and legally known as real estate and in Britain as property. It is known by other terms in other countries of the world.Immovable… …   Wikipedia

  • Friedrich Franz, Hereditary Grand Duke of Mecklenburg-Schwerin — Infobox Prince name = Friedrich Franz (V) title =Hereditary Grand Duke of Mecklenburg Schwerin full name =Freidrich Franz Michael Wilhelm Nikolaus Franz Joseph Ernst August Hans spouse 1 =Karin Elisabeth von Schaper royal house =Mecklenburg… …   Wikipedia

  • Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

  • land reform — any program, esp. when undertaken by a national government, involving the redistribution of agricultural land among the landless. [1840 50, Amer.] * * * Deliberate change in the way agricultural land is held or owned, the methods of its… …   Universalium

  • Biblical Antiquities — • Details domestic, political, and sacred antiquities Catholic Encyclopedia. Kevin Knight. 2006. Biblical Antiquities     Biblical Antiquities      …   Catholic encyclopedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”