On the Succinctness of Closure Operator Representations

2014 ◽  
pp. 15-36
Author(s):  
Sebastian Rudolph
Keyword(s):  
Closure Operator ◽  
Operator Representations

On the action of the implicative closure operator on the set of partial functions of the multivalued logic

2021 ◽  
Vol 31 (3) ◽  
pp. 155-164
Author(s):  
Sergey S. Marchenkov
Keyword(s):  
Closure Operator ◽  
Multivalued Logic ◽  
Partial Functions ◽  
Logical Implication

Abstract On the set P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ of partial functions of the k-valued logic, we consider the implicative closure operator, which is the extension of the parametric closure operator via the logical implication. It is proved that, for any k ⩾ 2, the number of implicative closed classes in P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ is finite. For any k ⩾ 2, in P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ two series of implicative closed classes are defined. We show that these two series exhaust all implicative precomplete classes. We also identify all 8 atoms of the lattice of implicative closed classes in P 3 ∗ $\begin{array}{} \displaystyle P_3^* \end{array}$ .

scholarly journals On Approximate Operator Representations of Sequences in Banach Spaces

2021 ◽  
Vol 15 (3) ◽  
Author(s):  
Ole Christensen ◽  
Marzieh Hasannasab ◽  
Gabriele Steidl
Keyword(s):  
Banach Spaces ◽  
Operator Representations

Universal closure operator for prolog

1986 ◽  
Vol 21 (6) ◽  
pp. 61-62
Author(s):  
T Vasak
Keyword(s):  
Closure Operator ◽  
Universal Closure

Digital Jordan Curves and Surfaces with Respect to a Closure Operator

2021 ◽  
Vol 179 (1) ◽  
pp. 59-74
Author(s):  
Josef Šlapal
Keyword(s):  
Direct Product ◽  
Jordan Curve ◽  
Closure Operator ◽  
Jordan Curve Theorem ◽  
Closure Operators ◽  
Ternary Relation ◽  
Digital Space ◽  
Jordan Curves ◽  
Curves And Surfaces ◽  
Digital Plane

In this paper, we propose new definitions of digital Jordan curves and digital Jordan surfaces. We start with introducing and studying closure operators on a given set that are associated with n-ary relations (n > 1 an integer) on this set. Discussed are in particular the closure operators associated with certain n-ary relations on the digital line ℤ. Of these relations, we focus on a ternary one equipping the digital plane ℤ2 and the digital space ℤ3 with the closure operator associated with the direct product of two and three, respectively, copies of this ternary relation. The connectedness provided by the closure operator is shown to be suitable for defining digital curves satisfying a digital Jordan curve theorem and digital surfaces satisfying a digital Jordan surface theorem.

SYMMETRY GEOMETRY BY PAIRINGS

2018 ◽  
Vol 106 (03) ◽  
pp. 342-360 ◽  
Author(s):  
G. CHIASELOTTI ◽  
T. GENTILE ◽  
F. INFUSINO
Keyword(s):  
Closure Operator ◽  
Local Symmetry ◽  
Global Symmetry ◽  
Symmetry Relation ◽  
Basic Tool ◽  
Mathematical Structures ◽  
Finite Case ◽  
Set Systems ◽  
Power Set ◽  
Abstract Simplicial Complex

In this paper, we introduce asymmetry geometryfor all those mathematical structures which can be characterized by means of a generalization (which we call pairing) of a finite rectangular table. In more detail, let$\unicode[STIX]{x1D6FA}$be a given set. Apairing$\mathfrak{P}$on$\unicode[STIX]{x1D6FA}$is a triple$\mathfrak{P}:=(U,F,\unicode[STIX]{x1D6EC})$, where$U$and$\unicode[STIX]{x1D6EC}$are nonempty sets and$F:U\times \unicode[STIX]{x1D6FA}\rightarrow \unicode[STIX]{x1D6EC}$is a map having domain$U\times \unicode[STIX]{x1D6FA}$and codomain$\unicode[STIX]{x1D6EC}$. Through this notion, we introduce a local symmetry relation on$U$and a global symmetry relation on the power set${\mathcal{P}}(\unicode[STIX]{x1D6FA})$. Based on these two relations, we establish the basic properties of our symmetry geometry induced by$\mathfrak{P}$. The basic tool of our study is a closure operator$M_{\mathfrak{P}}$, by means of which (in the finite case) we can represent any closure operator. We relate the study of such a closure operator to several types of others set operators and set systems which refine the notion of an abstract simplicial complex.

scholarly journals Operator Representation of Fermi-Dirac and Bose-Einstein Integral Functions with Applications

2007 ◽  
Vol 2007 ◽  
pp. 1-9 ◽  
Author(s):  
M. Aslam Chaudhry ◽  
Asghar Qadir
Keyword(s):  
Zeta Function ◽  
Riemann Zeta Function ◽  
Statistical Distributions ◽  
Operator Representation ◽  
The Riemann Zeta Function ◽  
Riemann Zeta ◽  
Quantum Statistical ◽  
Bose Einstein ◽  
Operator Representations ◽  
Class Of Functions

Fermi-Dirac and Bose-Einstein functions arise as quantum statistical distributions. The Riemann zeta function and its extension, the polylogarithm function, arise in the theory of numbers. Though it might not have been expected, these two sets of functions belong to a wider class of functions whose members have operator representations. In particular, we show that the Fermi-Dirac and Bose-Einstein integral functions are expressible as operator representations in terms of themselves. Simpler derivations of previously known results of these functions are obtained by their operator representations.

scholarly journals Well-behaved unbounded operator representations and unbounded $C^*$ -seminorms

2004 ◽  
Vol 56 (2) ◽  
pp. 417-445 ◽  
Author(s):  
Subhash J. BHATT ◽  
Atsushi INOUE ◽  
Klaus-Detlef KÜRSTEN
Keyword(s):  
Unbounded Operator ◽  
Operator Representations

scholarly journals A Note on Frame Distributions

1997 ◽  
Vol 4 (33) ◽  
Author(s):  
Anders Kock ◽  
Gonzalo E. Reyes
Keyword(s):  
Closure Operator ◽  
Frame Theory ◽  
Double Negation ◽  
Fixed Base

In the context of constructive locale or frame theory (locale<br />theory over a fixed base locale), we study some aspects of 'frame distributions', meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation terms, of the 'interior of closure' operator on open parts of a locale.

Sign in / Sign up

Export Citation Format

Share Document