uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Contributions to Pointfree Topology and Apartness Spaces
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Matematiska institutionen, Algebra, geometri och logik.
2011 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. In Paper I we focus on the notion of a domain representation of a formal space as a way to introduce generalized points of the represented space, whereas we in Paper II give a constructive and point-free treatment of the domain theoretic approach to differential calculus. The last two papers are of a slightly different nature but still concern constructive topology. In paper III we consider a measure theoretic covering theorem from various constructive angles in both point-set and point-free topology. We prove a point-free version of the theorem. In Paper IV we deal with issues of impredicativity in the theory of apartness spaces. We introduce a notion of set-presented apartness relation which enables a predicative treatment of basic constructions of point-set apartness spaces.

sted, utgiver, år, opplag, sider
Uppsala: Department of Mathematics , 2011. , s. 40
Serie
Uppsala Dissertations in Mathematics, ISSN 1401-2049 ; 71
Emneord [en]
Constructive mathematics, General topology, Pointfree topology, Domain theory, Interval analysis, Apartness spaces
HSV kategori
Forskningsprogram
Matematisk logik
Identifikatorer
URN: urn:nbn:se:uu:diva-152068ISBN: 978-91-506-2219-5 (tryckt)OAI: oai:DiVA.org:uu-152068DiVA, id: diva2:412415
Disputas
2011-06-08, Häggsalen, Ångströmlaboratoriet, Lägerhyddsvägen 1, Uppsala, 10:15 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2011-05-17 Laget: 2011-04-23 Sist oppdatert: 2011-06-14bibliografisk kontrollert
Delarbeid
1. Local Scott compactification
Åpne denne publikasjonen i ny fane eller vindu >>Local Scott compactification
(engelsk)Artikkel i tidsskrift (Fagfellevurdert) Submitted
Abstract [en]

We show how to embed certain formal topologies in locally Scott formal topologies. We call this process local Scott compactification. Examples include localic completions of metric spaces. We also prove a lifting result for morphisms. The local Scott compactification of a space corresponds to a domain representation of the space and in this way yields a space containing partial elements. In the case of the real numbers we obtain the space of partial reals, consisting of intervals where the endpoints are lower and upper reals respectively. We show that partial reals that define compact overt subspaces of the real numbers correspond precisely to intervals with real endpoints. The lifting of morphisms give sharp extensions of continuous real valued functions in the sense of interval analysis. These results are also generalized to normed vector spaces.

Emneord
Formal topologies, Continuous dcpos, Locally compact metric spaces
HSV kategori
Forskningsprogram
Matematisk logik
Identifikatorer
urn:nbn:se:uu:diva-152064 (URN)
Tilgjengelig fra: 2011-04-22 Laget: 2011-04-22 Sist oppdatert: 2011-06-14bibliografisk kontrollert
2. The domain theoretic derivative in formal topology
Åpne denne publikasjonen i ny fane eller vindu >>The domain theoretic derivative in formal topology
(engelsk)Artikkel i tidsskrift (Fagfellevurdert) Submitted
Abstract [en]

We investigate the possibility to develop constructively some of the theory of domain theoretical differential calculus by using formal topology. A formal point-free domain derivative of continuous functions on partial reals is defined and we prove that it is point-wise equal to the classical domain derivative.

Emneord
Formal topologies, Domains, Interval analysis, Differential calculus
Forskningsprogram
Matematisk logik
Identifikatorer
urn:nbn:se:uu:diva-152065 (URN)
Tilgjengelig fra: 2011-04-22 Laget: 2011-04-22 Sist oppdatert: 2011-06-21bibliografisk kontrollert
3. The Vitali covering theorem in constructive mathematics
Åpne denne publikasjonen i ny fane eller vindu >>The Vitali covering theorem in constructive mathematics
(engelsk)Artikkel i tidsskrift (Fagfellevurdert) Submitted
Abstract [en]

This paper investigates the Vitali Covering Theorem from various constructive angles. A Vitali Cover of a metric space is a cover such that for every point there exists an arbitrarily small set of the cover containing this point. The VCT now states, that for any Vitali Cover one can find a finite, disjoint family of sets in the Vitali Cover that cover the entire space up to a set of a given non-zero measure. We will show, by means of a recursive counterexample, that there cannot be a fully constructive proof, but that adding a very weak semi-constructive principle suffices to give such a proof. Lastly, we will show that with an appropriate formalization in formal topology the non-constructive problems can be avoided completely.

Emneord
Constructive mathematics, Reverse mathematics, Measure theory, Vitali's covering theorem, Formal topology
Forskningsprogram
Matematisk logik
Identifikatorer
urn:nbn:se:uu:diva-152066 (URN)
Tilgjengelig fra: 2011-04-22 Laget: 2011-04-22 Sist oppdatert: 2011-06-14bibliografisk kontrollert
4. Towards set-presentable apartness spaces
Åpne denne publikasjonen i ny fane eller vindu >>Towards set-presentable apartness spaces
(engelsk)Manuskript (preprint) (Annet vitenskapelig)
Abstract [en]

We investigate the theory of apartness spaces from a predicative point of view. We introduce a notion of set-presented apartness relation which enables a predicative treatment of basic constructions of point-set apartness spaces. Moreover we discuss notions of set presentation for set-set apartness space.

Emneord
Constructive mathematics, General topology, Neighbourhood space, Apartness space
Forskningsprogram
Matematisk logik
Identifikatorer
urn:nbn:se:uu:diva-152067 (URN)
Tilgjengelig fra: 2011-04-22 Laget: 2011-04-22 Sist oppdatert: 2011-06-14

Open Access i DiVA

fulltekst(1850 kB)781 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1850 kBChecksum SHA-512
622f2157e3b3f4600576636fdb2640163c78234ba892b0a552729a8e4dc012d932b331251208f5f6110947f3bbb2f8bf3eeb8725d135e8ff1395ddb514889169
Type fulltextMimetype application/pdf

Personposter BETA

Hedin, Anton

Søk i DiVA

Av forfatter/redaktør
Hedin, Anton
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 781 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 962 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf