[permalink] [id link]
Formally, if f is a harmonic function, then f cannot exhibit a true local maximum within the domain of definition of f. In other words, either f is a constant function, or, for any point inside the domain of f, there exist other points arbitrarily close to at which f takes larger values.
from
Wikipedia
Some Related Sentences
Formally and if
Formally, a binary operation on a set S is called associative if it satisfies the associative law:
Formally, a topological space X is called compact if each of its open covers has a finite subcover.
Formally, oxidation state is the hypothetical charge that an atom would have if all bonds to atoms of different elements were 100 % ionic.
Formally, a set S is called finite if there exists a bijection
Formally, if M is a set, the identity function f on M is defined to be that function with domain and codomain M which satisfies
Formally we mean that is an ideal if it satisfies the following conditions:
Formally, if d is the dimension of the parameter, and n is the number of samples, if as and as, then the model is semi-parametric.
Formally, in the finite-dimensional case, if the linear map is represented as a multiplication by a matrix A and the translation as the addition of a vector, an affine map acting on a vector can be represented as
Formally, a decision problem is P-complete ( complete for the complexity class P ) if it is in P and that every problem in P can be reduced to it by using an appropriate reduction.
If R is a ring, let R denote the ring of polynomials in the indeterminate X over R. Hilbert proved that if R is " not too large ", in the sense that if R is Noetherian, the same must be true for R. Formally,
Formally, a hypothesis is compared against its opposite or null hypothesis (" if I release this ball, it will not fall to the floor ").
Formally, the sequence of partial sums of some infinite summation converges if for every fixed power of X the coefficient stabilizes: there is a point beyond which all further partial sums have the same coefficient.
Formally, a function ƒ is real analytic on an open set D in the real line if for any x < sub > 0 </ sub > in D one can write
Formally, if is an open subset of the complex plane, a point of, and is a holomorphic function, then is called a removable singularity for if there exists a holomorphic function which coincides with on.
Formally, two variables are inversely proportional ( or varying inversely, or in inverse variation, or in inverse proportion or in reciprocal proportion ) if one of the variables is directly proportional with the multiplicative inverse ( reciprocal ) of the other, or equivalently if their product is a constant.
Informally, G has the above presentation if it is the " freest group " generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.
Formally, if there exists some B ≥ 0 such that
Formally, if is any non-zero polynomial, it must be writable as.
Formally, if we write F < sub > Δ </ sub >( x ) to mean the f-polynomial of Δ, then the h-polynomial of Δ is
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: < sup > 2 </ sup > →
Formally and f
Formally, the derivative of the function f at a is the limit
Formally, suppose U is an open subset of the complex plane C, a is an element of U and f: U
Formally, a homotopy between two continuous functions f and g from a
Formally, this means that, for some function f, the image f ( D ) of a directed set D ( i. e. the set of the images of each element of D ) is again directed and has as a least upper bound the image of the least upper bound of D. One could also say that f preserves directed suprema.
Formally, let f: < sup > n </ sup > → be the cost function which must be minimized.
Formally, an absolute coequalizer of a pair in a category C is a coequalizer as defined above but with the added property that given any functor F ( Q ) together with F ( q ) is the coequalizer of F ( f ) and F ( g ) in the category D. Split coequalizers are examples of absolute coequalizers.
Formally, given complex-valued functions f and g of a natural number variable n, one writes
Formally, given two partially ordered sets ( S, ≤) and ( T, ≤), a function f: S → T is an order-embedding if f is both order-preserving and order-reflecting, i. e. for all x and y in S, one has
Formally, the bounded Borel functional calculus of a self adjoint operator T on Hilbert space H is a mapping defined on the space of bounded complex-valued Borel functions f on the real line,
Formally, f < sub > X, Y </ sub >( x, y ) is the probability density function of ( X, Y ) with respect to the product measure on the respective supports of X and Y.
Formally, if we denote the set of stable functions by S ( D ) and the stability radius by r ( f, D ), then:
Formally and is
Formally organized vocational programs supported by federal funds allow high school students to gain experience in a field of work which is likely to lead to a full-time job on graduation.
Formally, their designation is the letter Ž and the number.
Formally, the set of all context-free languages is identical to the set of languages accepted by pushdown automata ( PDA ).
More rigorously, the divergence of a vector field F at a point p is defined as the limit of the net flow of F across the smooth boundary of a three dimensional region V divided by the volume of V as V shrinks to p. Formally,
Formally, the base is known as Naval Support Facility Diego Garcia ( the US activity ) or Permanent Joint Operating Base ( PJOB ) Diego Garcia ( the UK's term ).
Formally, there is a clear distinction: " DFT " refers to a mathematical transformation or function, regardless of how it is computed, whereas " FFT " refers to a specific family of algorithms for computing DFTs.
Formally, a bifunctor is a functor whose domain is a product category.
Formally, the system is said to have memory.
Formally, an inner product space is a vector space V over the field together with an inner product, i. e., with a map
* Formally, when working over the reals, as here, this is accomplished by considering the limit as ε → 0 ; but the " infinitesimal " language generalizes directly to Lie groups over general rings.
Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.
Formally, this sharing of dynamics is referred to as universality, and systems with precisely the same critical exponents are said to belong to the same universality class.
Formally, a frame is defined to be a lattice L in which finite meets distribute over arbitrary joins, i. e. every ( even infinite ) subset
Formally, Φ = kx − ωt is the phase.
0.264 seconds.