About: Size homotopy group     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FSize_homotopy_group&invfp=IFP_OFF&sas=SAME_AS_OFF

The concept of size homotopy group is analogous in size theory of the classical concept of homotopy group. In order to give its definition, let us assume that a size pair is given, where is a closed manifold of class and is a continuous function. Consider the lexicographical order on defined by setting if and only if . For every set . In other words, the first size homotopy group of the size pair computed at and is the imageof the first homotopy group with base point of the topological space , when is the homomorphism induced by the inclusion of in .

AttributesValues
rdfs:label
  • Size homotopy group (en)
rdfs:comment
  • The concept of size homotopy group is analogous in size theory of the classical concept of homotopy group. In order to give its definition, let us assume that a size pair is given, where is a closed manifold of class and is a continuous function. Consider the lexicographical order on defined by setting if and only if . For every set . In other words, the first size homotopy group of the size pair computed at and is the imageof the first homotopy group with base point of the topological space , when is the homomorphism induced by the inclusion of in . (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • The concept of size homotopy group is analogous in size theory of the classical concept of homotopy group. In order to give its definition, let us assume that a size pair is given, where is a closed manifold of class and is a continuous function. Consider the lexicographical order on defined by setting if and only if . For every set . Assume that and . If , are two paths from to and a homotopy from to , based at , exists in the topological space , then we write . The first size homotopy group of the size pair computed at is defined to be the quotient set of the set of all paths from to in with respect to the equivalence relation , endowed with the operation induced by the usual composition of based loops. In other words, the first size homotopy group of the size pair computed at and is the imageof the first homotopy group with base point of the topological space , when is the homomorphism induced by the inclusion of in . The -th size homotopy group is obtained by substituting the loops based at with the continuous functions taking a fixed point of to , as happens when higher homotopy groups are defined. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software