Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Verifying Systems of Resource-Bounded Agents Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces

verfasst von : Iosif Petrakis

Erschienen in: Pursuit of the Universal

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We present a constructive proof of a Stone-Weierstrass theorem for totally bounded metric spaces (\(\mathrm {\mathbf {SWtbms}}\)) which implies Bishop’s Stone-Weierstrass theorem for compact metric spaces (\(\mathrm {\mathbf {BSWcms}}\)) found in [3]. Our proof has a clear computational content, in contrast to Bishop’s highly technical proof of \(\mathrm {\mathbf {BSWcms}}\) and his hard to motivate concept of a (Bishop-)separating set of uniformly continuous functions. All corollaries of \(\mathrm {\mathbf {BSWcms}}\) in [3] are proved directly by \(\mathrm {\mathbf {SWtbms}}\). We work within Bishop’s informal system of constructive mathematics \(\mathrm {BISH}\).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Partial Orders and Immunity in Reverse Mathematics
Fußnoten
1
Bishop’s original term is that of a separating set, which we avoid here in the presence of the standard classical notion of a separating subset of C(X).
 
2
The proof goes as follows. By the constructive trichotomy property (see [3], p. 26) either \(a < c\) or \(a \wedge b < a\). In the first case we get immediately what we want to show. In the second case we get that \(b \le a\), since if \(b > a\), we have that \(a = a \wedge b < a\), which is a contradiction. Thus \(a \wedge b = b\) and the hypothesis \(a \wedge b < c\) becomes \(b < c\).
 
3
By the definition of \(\inf A\) in [3], p. 37, we have that \(\forall _{\epsilon > 0}\exists _{a \in A}(a < \inf A + \epsilon )\), therefore if \(b > \inf A\) and \(\epsilon = b - \inf A > 0\) we get that \(\exists _{a \in A}(a < \inf A + (b - \inf A) = b)\).
 
4
To show that \(\lnot {(g^{*}(x) > f(x) + \epsilon )}\) we just use the fact that if \(A \subseteq {\mathbb R}, b \in {\mathbb R}\), then \(\sup A> b \rightarrow \exists _{a \in A}(a > b)\). The function \(g^{*}\) is mentioned in [19], where non-constructive properties of the classical \(({\mathbb R}, <)\) are used.
 
5
The first, in p. 414, is the uniform approximation of a test function f(x, y) on \(G \times G\), where G is a locally compact group, by finite sums of the form \(\sum _{i}f_{i}(x)g_{i}(y)\), and the second, in p. 375, is a density theorem in the theory of Hilbert spaces.
 
Literatur
1.
Banaschewski, B., Mulvey, C.J.: A constructive proof of the Stone-Weierstrass theorem. J. Pure Appl. Algebra 116, 25–40 (1997)MathSciNetCrossRefMATH
2.
Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)MATH
3.
Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der mathematischen Wissenschaften, vol. 279. Springer, New York (1985)MATH
4.
5.
Bridges, D.S., Vîţă, L.S.: Techniques of Constructive Analysis: Universitext. Springer, New York (2006)CrossRefMATH
6.
Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, New York (1987)CrossRefMATH
7.
Coquand, T.: A Constructive Analysis of the Stone-Weierstrass Theorem, Manuscript (2001)
8.
9.
Coquand, T., Spitters, B.A.W.: Constructive Gelfand duality for C\(^{*}\)-algebras. Math. Proc. Camb. Philos. Soc. 147(2), 339–344 (2009)MathSciNetCrossRefMATH
10.
Dugundji, J.: Topology. Brown Publishers Wm. C, Dubuque (1989)MATH
11.
12.
13.
Ishihara, H., Mines, R., Schuster, P., Vîţă, L.S.: Quasi-apartness and neighborhood spaces. Ann. Pure Appl. Logic 141, 296–306 (2006)MathSciNetCrossRefMATH
14.
Miculescu, R.: Approximations by Lipschitz functions generated by extensions. Real Anal. Exch. 28(1), 33–40 (2002)MathSciNetMATH
15.
Petrakis, I.: Constructive Topology of Bishop Spaces, Ph.D. Thesis. Ludwig-Maximilians-Universität, München (2015)
16.
Petrakis, I.: Completely regular Bishop spaces. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 302–312. Springer, Heidelberg (2015)CrossRef
17.
18.
Tuominen, H.: Analysis in Metric Spaces, Lecture notes (2014)
19.
Metadaten
Titel
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces
verfasst von
Iosif Petrakis
Copyright-Jahr
2016
Buch
Pursuit of the Universal

Print ISBN: 978-3-319-40188-1

Electronic ISBN: 978-3-319-40189-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-40189-8_37