The language of pre-topology in knowledge spaces

11/29/2021
by   Fucai Lin, et al.
0

We systematically study some basic properties of the theory of pre-topological spaces, such as, pre-base, subspace, axioms of separation, connectedness, etc. Pre-topology is also known as knowledge space in the theory of knowledge structures. We discuss the language of axioms of separation of pre-topology in the theory of knowledge spaces, the relation of Alexandroff spaces and quasi ordinal spaces, and the applications of the density of pre-topological spaces in primary items for knowledge spaces. In particular, we give a characterization of a skill multimap such that the delineate knowledge structure is a knowledge space, which gives an answer to a problem in <cit.> or <cit.> whenever each item with finitely many competencies; moreover, we give an algorithm to find the set of atom primary items for any finite knowledge spaces.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/26/2017

A generalization of a theorem of Hurewicz for quasi-Polish spaces

We identify four countable topological spaces S_2, S_1, S_D, and S_0 whi...
research
04/20/2020

Admissibly Represented Spaces and Qcb-Spaces

A basic concept of Type Two Theory of Effectivity (TTE) is the notion of...
research
07/02/2020

Analysing Spatial Properties on Neighbourhood Spaces

We present a bisimulation relation for neighbourhood spaces, a generalis...
research
06/30/2021

Constructing the space of valuations of a quasi-Polish space as a space of ideals

We construct the space of valuations on a quasi-Polish space in terms of...
research
09/22/2022

Machine Space I: Weak exponentials and quantification over compact spaces

Topology may be interpreted as the study of verifiability, where opens c...
research
04/26/2023

Nominal Topology for Data Languages

We propose a novel topological perspective on data languages recognizabl...
research
12/23/2019

Approximation of Reeb spaces with Mappers and Applications to Stochastic Filters

Reeb spaces, as well as their discretized versions called Mappers, are c...

Please sign up or login with your details

Forgot password? Click here to reset