Topological structures on classes I.
Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods of x in this...
L'operazione «anti( )» di Paul Bankston fu introdotta in contesto della famiglia di tutti gli spazii topologici. Però, per molte ricerche ci conviene lavorare esclusivamente in una classe costretta di spazii di cui la struttura e ricca abbastanza di facilitare il ragionamento. In quest'articolo descriviamo come trasferire anti ( ), e concetti allacciati, dentro una tale classe costretta; con riferimento speciale all'esistenza di «pre-antis».
A topological space is totally Brown if for each and every nonempty open subsets of we have . Totally Brown spaces are connected. In this paper we consider the Golomb topology on the set of natural numbers, as well as the Kirch topology on . Then we examine subsets of these spaces which are totally Brown. Among other results, we characterize the arithmetic progressions which are either totally Brown or totally separated in . We also show that and are aposyndetic. Our results...