Search results for "Algebras"

showing 10 items of 281 documents

Weak commutation relations of unbounded operators and applications

2011

Four possible definitions of the commutation relation $[S,T]=\Id$ of two closable unbounded operators $S,T$ are compared. The {\em weak} sense of this commutator is given in terms of the inner product of the Hilbert space $\H$ where the operators act. Some consequences on the existence of eigenvectors of two number-like operators are derived and the partial O*-algebra generated by $S,T$ is studied. Some applications are also considered.

CommutatorPure mathematicsunbounded operatorsCommutation relationHilbert spaceMathematics - Operator AlgebrasFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)symbols.namesakeSettore MAT/05 - Analisi MatematicaProduct (mathematics)Linear algebraFOS: MathematicssymbolsCommutationOperator Algebras (math.OA)Settore MAT/07 - Fisica MatematicaEigenvalues and eigenvectorsMathematical PhysicsMathematics
researchProduct

A Pragmatic Characterization of Concept Algebra

2017

Taking into account the framework of denotational mathematics as seen by Yingxu Wang, in this paper the author wishes to implement a possible further pragmatic (context-depend) dimension into the algebraic structure of concept algebra. One of the main problems of software science is that regarding context-depend question of a programming language. Indeed, attention has been paid above all to syntactic and semantic dimensions of a programming language, neglecting the pragmatic one concerning context. The author has tried to face this question providing a first denotational mathematics structure taking into account a possible pragmatic dimension.

Computer scienceConcept algebra0102 computer and information sciences02 engineering and technologyCharacterization (mathematics)01 natural sciencesAlgebra[MATH.MATH-IT] Mathematics [math]/Information Theory [math.IT][INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]010201 computation theory & mathematics[MATH.MATH-RA] Mathematics [math]/Rings and Algebras [math.RA]0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputingMilieux_MISCELLANEOUSInternational Journal of Software Science and Computational Intelligence
researchProduct

Didactical note: probabilistic conditionality in a Boolean algebra

1996

This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. These operations, or Conditionals, are characterized under the hypothesis that they only obey to the Modus Ponens-Inequality, and it is shown that only six of them are boolean two-place functions. Is the Conditional Probability the Probability of a Conditional? This problem will be only considered, with the Material Conditional Operation, on a Boolean Algebra endowed with a finite probability and in three different cases: with the Internal-Conditional Probability, with th…

Conditional operationsFinite probabilitiesProbability of a conditionLògica algebraicaboolean algebrasSettore INF/01 - InformaticaProbabilitatsÀlgebra booleana:03 Mathematical logic and foundations::03G Algebraic logic [Classificació AMS]Boolean algebrasConditional probabilities
researchProduct

On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals

2023

In this paper we investigate canonical extensions of conditional probabilities to Boolean algebras of conditionals. Before entering into the probabilistic setting, we first prove that the lattice order relation of every Boolean algebra of conditionals can be characterized in terms of the well-known order relation given by Goodman and Nguyen. Then, as an interesting methodological tool, we show that canonical extensions behave well with respect to conditional subalgebras. As a consequence, we prove that a canonical extension and its original conditional probability agree on basic conditionals. Moreover, we verify that the probability of conjunctions and disjunctions of conditionals in a rece…

Conditional subalgebraCanonical extensionSettore MAT/06 - Probabilita' E Statistica MatematicaArtificial IntelligenceApplied MathematicsConditional probabilityNonmonotonic reasoningConjunction and disjunction of conditionalBoolean algebras of conditionalSoftwareTheoretical Computer ScienceInternational Journal of Approximate Reasoning
researchProduct

Locally Convex Quasi *-Algebras of Operators

2011

This note is mainly concerned with locally convex quasi C*-normed *-algebras which arise as completions of C*-algebras of operators under certain topologies. Their importance is made clear by the representation theory of abstract locally convex quasi C*-normed *-algebras, investigated in previous papers and whose basic aspects are also overviewed here.

Convex analysisDiscrete mathematicsQuasi *-algebrasPure mathematicsApplied MathematicsRegular polygonSubderivativeOperator theoryNetwork topologyRepresentation theoryComputational MathematicsComputational Theory and MathematicsSettore MAT/05 - Analisi MatematicaOperatorMathematicsComplex Analysis and Operator Theory
researchProduct

The exterior derivative as a Killing vector field

1996

Among all the homogeneous Riemannian graded metrics on the algebra of differential forms, those for which the exterior derivative is a Killing graded vector field are characterized. It is shown that all of them are odd, and are naturally associated to an underlying smooth Riemannian metric. It is also shown that all of them are Ricci-flat in the graded sense, and have a graded Laplacian operator that annihilates the whole algebra of differential forms.

Curl (mathematics)Mathematics::Commutative AlgebraVector operatorDifferential formGeneral MathematicsMathematics::Rings and AlgebrasMathematical analysisFrölicher–Nijenhuis bracketClosed and exact differential formsKilling vector fieldGeneralizations of the derivativeExterior derivativeMathematics::Differential GeometryMathematicsIsrael Journal of Mathematics
researchProduct

Symmetrization for singular semilinear elliptic equations

2012

In this paper, we prove some comparison results for the solution to a Dirichlet problem associated with a singular elliptic equation and we study how the summability of such a solution varies depending on the summability of the datum f. © 2012 Fondazione Annali di Matematica Pura ed Applicata and Springer-Verlag.

Dirichlet problemSharp a priori estimatesSemilinear elliptic equationsMathematics::Operator AlgebrasApplied MathematicsMathematical analysisMathematics::Classical Analysis and ODEsMathematics::Analysis of PDEsComparison resultsSymmetrizationGeodetic datumElliptic curveSettore MAT/05 - Analisi MatematicaMathematics::K-Theory and HomologySymmetrizationMathematics
researchProduct

Fully representable and*-semisimple topological partial*-algebras

2012

We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations. We discuss the respective roles of invariant positive sesquilinear (ips) forms and representable continuous linear functionals and focus on the case where the two notions are completely interchangeable (fully representable partial *-algebras) with the scope of characterizing a *-semisimple partial *-algebra. Finally we describe various notions of bounded elements in such a partial *-algebra, in particular, those defined in terms of a positive cone (order bounded elements). The outcome …

Discrete mathematics*-semisimple partial *-algebrasPure mathematicsbounded elements.*-semisimple partial *-algebraGeneral MathematicsMathematics - Rings and AlgebrasTopology08A55 46K05 46K10 47L60bounded elements}topological partial *-algebrasRings and Algebras (math.RA)Settore MAT/05 - Analisi MatematicaBounded functionFOS: MathematicsInvariant (mathematics)topological partial *-algebraMathematicsStudia Mathematica
researchProduct

Fixed Points in Topological *-Algebras of Unbounded Operators

2001

We discuss some results concerning fixed point equations in the setting of topological *-algebras of unbounded operators. In particular, an existence result is obtained for what we have called {\em weak $\tau$ strict contractions}, and some continuity properties of these maps are discussed. We also discuss possible applications of our procedure to quantum mechanical systems.

Discrete mathematics47H10; 46N50Topological algebraGeneral MathematicsMathematics - Operator AlgebrasFOS: Physical sciencesMathematical Physics (math-ph)Fixed pointTopologyFixed-point propertyFixed point equationOperator algebraFOS: Mathematics46N50Operator Algebras (math.OA)Settore MAT/07 - Fisica MatematicaQuantumMathematical Physics47H10operator algebrasMathematics
researchProduct

Rough Set Algebras as Description Domains

2009

Study of the so called knowledge ordering of rough sets was initiated by V.W. Marek and M. Truszczynski at the end of 90-ies. Under this ordering, the rough sets of a fixed approximation space form a domain in which every set ↓ is a Boolean algebra. In the paper, an additional operation inversion on rough set domains is introduced and an abstract axiomatic description of obtained algebras of rough set is given. It is shown that the resulting class of algebras is essentially different from those traditional in rough set theory: it is not definable, for instance, in the class of regular double Stone algebras, and conversely.

Discrete mathematicsAlgebra and Number TheoryA domainSpace formInversion (discrete mathematics)Theoretical Computer ScienceInterior algebraComputational Theory and MathematicsRough setField of setsStone's representation theorem for Boolean algebrasAxiomInformation SystemsMathematicsFundamenta Informaticae
researchProduct