Abstract:This paper concerns the discretizations in pair of adjoint operators between Hilbert spaces so that the adjoint properties can be preserved. Due to the finite-dimensional essence of discretized operators, a new framework, theory of partially adjoint operators, is motivated and presented in this paper, so that adjoint properties can be figured out for finite-dimensional operators which can not be non-trivially densely defined in other background spaces. A formal methodology is presented under the framework to construct partially adjoint discretizations by a conforming discretization (CD) and an accompanied-by-conforming discretization (ABCD) for each of the operators. Moreover, the methodology leads to an asymptotic uniformity of an infinite family of finite-dimensional operators. The validities of the theoretical framework and the formal construction of discretizations are illustrated by a systematic family of in-pair discretizations of the adjoint exterior differential operators. The adjoint properties concerned in the paper are the closed range theorem and the strong dualities, whose preservations have not been well studied yet. Quantified versions of the closed range theorem are established for both adjoint operators and partially adjoint discretizations. The notion Poincare-Alexander-Lefschetz (P-A-L for short) type duality is borrowed for operator theory, and horizontal and vertical P-A-L dualities are figured out for adjoint operators and their analogues are established for partially adjoint discretizations. Particularly by partially adjoint discretizations of exterior differential operators, the Poincare-Lefschetz duality is preserved as an identity, which was not yet obtained before.

Axiomatic Characterizations of Adjoint Generalized (dual) Concept Systems.

Axiomatic Characterizations of Dual Concept Lattices.

Axiomatic Approaches of Fuzzy Concept Operators.

A New Type of Generalized One-Sided Concept Lattices and Its Knowledge Reduction

Independence of Axiom Sets Characterizing Formal Concepts

Axiomatic Characterization of Generalized Fuzzy Approximation Operators

Attribute Reduction in Generalized One-Sided Formal Contexts.

Adjoint Natural Deduction (Extended Version)

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Using Single Axioms to Characterize ( S , T )-Intuitionistic Fuzzy Rough Approximation Operators

A Generalised Exactness Structure for Sets

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences

Minimal Axiomatization of Boolean Algebras

Single axiomatic characterization of a hesitant fuzzy generalization of rough approximation operators

φ-Generalized Concept Lattice Models: From Power Concepts to Formal Concepts, and then to Robust Concepts

Concept Granular Computing Systems and Their Approximation Operators

Axiomatization Without Prefix Combinator

Simplifying von Plato's axiomatization of Constructive Apartness Geometry

On Simplified Axiomatic Characterizations of (υ Σ)-Fuzzy Rough Approximation Operators

Partially adjoint discretizations of adjoint operators and nonconforming finite element exterior calculus

Multi-adjoint concept lattices via quantaloid-enriched categories