About: Size functor

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Given a size pair where is a manifold of dimension and is an arbitrary real continuous function definedon it, the -th size functor, with , denoted by , is the functor in , where is the category of ordered real numbers, and is the category of Abelian groups, defined in the following way. For , setting , , equal to the inclusion from into , and equal to the morphism in from to , * for each , *

Property Value
dbo:abstract
  • Given a size pair where is a manifold of dimension and is an arbitrary real continuous function definedon it, the -th size functor, with , denoted by , is the functor in , where is the category of ordered real numbers, and is the category of Abelian groups, defined in the following way. For , setting , , equal to the inclusion from into , and equal to the morphism in from to , * for each , * In other words, the size functor studies theprocess of the birth and death of homology classes as the lower level set changes.When is smooth and compact and is a Morse function, the functor can bedescribed by oriented trees, called − trees. The concept of size functor was introduced as an extension to homology theory and category theory of the idea of size function. The main motivation for introducing the size functor originated by the observation that the size function can be seen as the rankof the image of . The concept of size functor is strictly related to the concept of , studied in persistent homology. It is worth to point out that the -th persistent homology group coincides with the image of the homomorphism . (en)
dbo:wikiPageID
  • 16845636 (xsd:integer)
dbo:wikiPageLength
  • 3044 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1116644088 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Given a size pair where is a manifold of dimension and is an arbitrary real continuous function definedon it, the -th size functor, with , denoted by , is the functor in , where is the category of ordered real numbers, and is the category of Abelian groups, defined in the following way. For , setting , , equal to the inclusion from into , and equal to the morphism in from to , * for each , * (en)
rdfs:label
  • Size functor (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License