About: Problem 540 is (almost) solved     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Recall that a set is said to be saturated if it is the intersection of open sets. By the dual topology $\tau^d$ for a topological space $(X,\tau)$ we mean the topology on $X$ generated by taking the compact saturated sets of $X$ as a subbase for closed sets. The Problem 540 of J. D. Lawson and M. Mislove \cite{LM} in Open Problems in Topology (J. van Mill, G. M. Reed, eds.,1990) asks \medskip \roster \item which topologies can arise as dual topologies \smallskip and \smallskipp \item whether the process of taking duals terminate after finitely many steps with the topologies that are duals of each other. \endroster \medskip For $T_1$ spaces, the solution of (2) simply follows from the fact that in $T_1$ spaces every set is saturated and hence the dual operator $d$ coincide with the compactness operator $\rho $ of J. de Groot, G. E. Strecker and E. Wattel \cite{GSW}. For more general spaces, the question (2) was partially answered by Bruce S. B
  • Recall that a set is said to be saturated if it is the intersection of open sets. By the dual topology $\tau^d$ for a topological space $(X,\tau)$ we mean the topology on $X$ generated by taking the compact saturated sets of $X$ as a subbase for closed sets. The Problem 540 of J. D. Lawson and M. Mislove \cite{LM} in Open Problems in Topology (J. van Mill, G. M. Reed, eds.,1990) asks \medskip \roster \item which topologies can arise as dual topologies \smallskip and \smallskipp \item whether the process of taking duals terminate after finitely many steps with the topologies that are duals of each other. \endroster \medskip For $T_1$ spaces, the solution of (2) simply follows from the fact that in $T_1$ spaces every set is saturated and hence the dual operator $d$ coincide with the compactness operator $\rho $ of J. de Groot, G. E. Strecker and E. Wattel \cite{GSW}. For more general spaces, the question (2) was partially answered by Bruce S. B (en)
Title
  • Problem 540 is (almost) solved
  • Problem 540 is (almost) solved (en)
skos:prefLabel
  • Problem 540 is (almost) solved
  • Problem 540 is (almost) solved (en)
skos:notation
  • RIV/00216305:26220/01:PU22663!RIV/2002/GA0/262202/N
http://linked.open.../vavai/riv/strany
  • 45-46
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA201/00/1466), Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 692962
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26220/01:PU22663
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • saturated set, order of specialization, dual topology, compactness operator (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [FB3909F22A01]
http://linked.open...v/mistoKonaniAkce
  • Praha
http://linked.open...i/riv/mistoVydani
  • Neuveden
http://linked.open...i/riv/nazevZdroje
  • Abstracts of the Ninth Prague Topological Symposium
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Kovár, Martin
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Univerzita Karlova v Praze. Matematicko-fyzikální fakulta
http://localhost/t...ganizacniJednotka
  • 26220
Faceted Search & Find service v1.16.118 as of Jun 21 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 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software