Search Results for ""

There are at least two distinct (though related) notions of the term Hilbert algebra in functional analysis. In some literature, a linear manifold A of a (not necessarily ...

Suppose that A is a Banach algebra and X is a Banach A-bimodule. For n=0, 1, 2, ..., let C^n(A,X) be the Banach space of all bounded n-linear mappings from A×...×A into X ...

An axiom proposed by Huntington (1933) as part of his definition of a Boolean algebra, H(x,y)=!(!x v y) v !(!x v !y)=x, (1) where !x denotes NOT and x v y denotes OR. Taken ...

"Implies" is the connective in propositional calculus which has the meaning "if A is true, then B is also true." In formal terminology, the term conditional is often used to ...

A point process N on R is said to be interval stationary if for every r=1,2,3,... and for all integers i_i,...,i_r, the joint distribution of {tau_(i_1+k),...,tau_(i_r+k)} ...

The Kähler potential is a real-valued function f on a Kähler manifold for which the Kähler form omega can be written as omega=ipartialpartial^_f. Here, the operators ...

A formal logic developed by Alonzo Church and Stephen Kleene to address the computable number problem. In the lambda calculus, lambda is defined as the abstraction operator. ...

The line integral of a vector field F(x) on a curve sigma is defined by int_(sigma)F·ds=int_a^bF(sigma(t))·sigma^'(t)dt, (1) where a·b denotes a dot product. In Cartesian ...

A local Banach algebra is a normed algebra A=(A,|·|_A) which satisfies the following properties: 1. If x in A and f is an analytic function on a neighborhood of the spectrum ...

A macron is a bar placed over a single symbol or character, such as x^_. The symbol z^_ is sometimes used to denote the following operations: 1. The complex conjugate z^_. 2. ...