Previous Page 2

Displaying 21 – 34 of 34

Showing per page

Topology from Neighbourhoods

Roland Coghetto (2015)

Formalized Mathematics

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...

Total negation under constraint: pre-anti properties

T. Brian M. McMaster, Colin R. Turner (2000)

Bollettino dell'Unione Matematica Italiana

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».

Totally Brown subsets of the Golomb space and the Kirch space

José del Carmen Alberto-Domínguez, Gerardo Acosta, Gerardo Delgadillo-Piñón (2022)

Commentationes Mathematicae Universitatis Carolinae

A topological space X is totally Brown if for each n { 1 } and every nonempty open subsets U 1 , U 2 , ... , U n of X we have cl X ( U 1 ) cl X ( U 2 ) cl X ( U n ) . Totally Brown spaces are connected. In this paper we consider the Golomb topology τ G on the set of natural numbers, as well as the Kirch topology τ K 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 ( , τ G ) . We also show that ( , τ G ) and ( , τ K ) are aposyndetic. Our results...

Currently displaying 21 – 34 of 34

Previous Page 2