We modify slightly the definition of H-partial functions given by Celani and Montangie (2012); these partial functions are the morphisms in the category of H∨-space and this category is the dual category of the category with objects the Hilbert algebras with supremum and morphisms, the algebraic homomorphisms. As an application we show that finite pure Hilbert algebras with supremum are determined by the monoid of their endomorphisms.
Haar's Lemma (1918) deals with the algebraic characterization of the inclusion of polyhedral sets. This Lemma has been involved many times in automatic control of linear dynamical systems via positive invariance of polyhedrons. More recently, it has been used to characterize stochastic comparison w.r.t. linear/integral ordering of Markov (reward) chains. In this paper we develop a state space oriented approach to the control of Discrete Event Systems (DES) based on the remark that most of control constraints of practical interest are naturally expressed as the inclusion of two systems of linear (w.r.t. idempotent semiring or semifield operations) inequalities. Thus, we establish tropical version of Haar's Lemma to obtain the algebraic characterization of such inclusion. As in the linear case this Lemma exhibits the links between two apparently different problems: comparison of DES and control via positive invariance. Our approach to the control differs from the ones based on formal series and is a kind of dual approach of the geometric one recently developed. Control oriented applications of the main results of the paper are given. One of these applications concerns the study of transportation networks which evolve according to a time table. Although complexity of calculus is discussed the algorithmic implementation needs further work and is beyond the scope of this paper.
\noindent We introduce new estimates and tests of independence in copula models with unknown margins using ϕ-divergences and the duality technique. The asymptotic laws of the estimates and the test statistics are established both when the parameter is an interior or a boundary value of the parameter space. Simulation results show that the choice of χ2-divergence has good properties in terms of efficiency-robustness.
Let Int $\mathcal A$ be the lattice of all intervals of an $MV$-algebra $\mathcal A$. In the present paper we investigate the relations between direct product decompositions of $\mathcal A$ and (i) the lattice Int $\mathcal A$, or (ii) 2-periodic isometries on $\mathcal A$, respectively.
In this paper we analyse a definition of a product of Banach spaces that is naturally associated by duality with a space of operators that can be considered as a generalization of the notion of space of multiplication operators. This dual relation allows to understand several constructions coming from different fields of functional analysis that can be seen as instances of the abstract one when a particular product is considered. Some relevant examples and applications are shown, regarding pointwise products of Banach function spaces, spaces of integrable functions with respect to vector measures, spaces of operators, multipliers on Banach spaces of analytic functions and spaces of Lipschitz functions., Enrique A. Sánchez Pérez., and Obsahuje seznam literatury
Throughout this abstract, $G$ is a topological Abelian group and $\widehat{G}$ is the space of continuous homomorphisms from $G$ into the circle group $\mathbb{T}$ in the compact-open topology. A dense subgroup $D$ of $G$ is said to determine $G$ if the (necessarily continuous) surjective isomorphism $\widehat{G}\twoheadrightarrow \widehat{D}$ given by $h\mapsto h\big |D$ is a homeomorphism, and $G$ is determined if each dense subgroup of $G$ determines $G$. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup $D_i$ determines $G_i$ with $G_i$ compact, then $\oplus _iD_i$ determines $\Pi _i G_i$. In particular, if each $G_i$ is compact then $\oplus _i G_i$ determines $\Pi _i G_i$. 3. Let $G$ be a locally bounded group and let $G^+$ denote $G$ with its Bohr topology. Then $G$ is determined if and only if ${G^+}$ is determined. 4. Let $\mathop {\mathrm non}({\mathcal N})$ be the least cardinal $\kappa $ such that some $X \subseteq {\mathbb{T}}$ of cardinality $\kappa $ has positive outer measure. No compact $G$ with $w(G)\ge \mathop {\mathrm non}({\mathcal N})$ is determined; thus if $\mathop {\mathrm non}({\mathcal N})=\aleph _1$ (in particular if CH holds), an infinite compact group $G$ is determined if and only if $w(G)=\omega $. Question. Is there in ZFC a cardinal $\kappa $ such that a compact group $G$ is determined if and only if $w(G)<\kappa $? Is $\kappa =\mathop {\mathrm non}({\mathcal N})$? $\kappa =\aleph _1$?