Related papers: Experimental verifiability and topology
A new notion of cohomology is introduced for MT-spaces, which are measurable and topological spaces whose measurable structure may not agree with the Borel $\sigma$-algebra of their topology. The main examples of MTspaces are measurable…
We propose a numerical test of fundamental physics based on the complexity measure of a general set of functions, which is directly related to the Kolmogorov (or algorithmic) complexity studied in mathematics and computer science. The…
Some of the basic concepts of topology are explored through known physics problems. This helps us in two ways, one, in motivating the definitions and the concepts, and two, in showing that topological analysis leads to a clearer…
Let us consider a Lie (super)algebra $G$ spanned by $T_{\alpha}$ where $T_{\alpha}$ are quantum observables in BV-formalism. It is proved that for every tensor $c^{\alpha_1...\alpha_k}$ that determines a homology class of the Lie algebra…
Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…
The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $\omega$-power of the Sierpi\'nski space).…
The Egoroff theorem for measurable $\bold X$-valued functions and operator-valued measures $\bold m: \Sigma \to L(\bold X, \bold Y)$, where $\Sigma$ is a $\sigma$-algebra of subsets of $T \neq \emptyset$ and $\bold X$, $\bold Y$ are both…
A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and…
The information in an individual finite object (like a binary string) is commonly measured by its Kolmogorov complexity. One can divide that information into two parts: the information accounting for the useful regularity present in the…
We consider non-negative $\sigma$-finite measure spaces coupled with a proper functional $P$ that plays the role of a perimeter. We introduce the Cheeger problem in this framework and extend many classical results on the Cheeger constant…
We give an elementary proof of the known fact that every probability measure, defined on an arbitrary $\sigma$-field on a countable sample space $\Omega$, may in fact be extended to a probability measure on the power set of $\Omega$. This…
Trove of exotic topoloid structures has recently been predicted by searching for compounds whose calculated band structure crossing points fulfill specific symmetry requirements. Discovery of exciting physical phenomena by experimental…
Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading…
We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…
Kolmogorov's setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role in this presentation and random variables, i.e., observables,…
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…
We show a possibility to apply certain philosophical concepts to the analysis of concrete mathematical structures. Such application gives a clear justification of topological and geometric properties of considered mathematical objects.
In applications it is useful to know whether a topological preordered space is normally preordered. It is proved that every $k_\omega$-space equipped with a closed preorder is a normally preordered space. Furthermore, it is proved that…
Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an…
Despite significant developments in Proof Theory, surprisingly little attention has been devoted to the concept of proof verifier. In particular, the mathematical community may be interested in studying different types of proof verifiers…