Namespaces
Variants
Actions

Difference between revisions of "Domination"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
(Divide into sections)
Line 1: Line 1:
An order relation for differential operators formulated in terms of the [[Characteristic polynomial|characteristic polynomial]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338301.png" />. For example, if
+
==Differential operators==
 +
An order relation formulated in terms of the [[characteristic polynomial]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338301.png" />. For example, if
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338302.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338302.png" /></td> </tr></table>
Line 22: Line 23:
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.V. Hörmander, "The analysis of linear partial differential operators" , '''2''' , Springer (1983) pp. §10.4 {{MR|0717035}} {{MR|0705278}} {{ZBL|0521.35002}} {{ZBL|0521.35001}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.V. Hörmander, "The analysis of linear partial differential operators" , '''2''' , Springer (1983) pp. §10.4 {{MR|0717035}} {{MR|0705278}} {{ZBL|0521.35002}} {{ZBL|0521.35001}} </TD></TR></table>
  
Domination in the theory of games is a relation expressing the superiority of one object ([[Strategy (in game theory)|strategy (in game theory)]]; [[Sharing|sharing]]) over another. Domination of strategies: A strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338308.png" /> of player <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338309.png" /> dominates (strictly dominates) his strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383010.png" /> if his pay-off in any situation containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383011.png" /> is not smaller (is greater) than his pay-off in the situation comprising the same strategies of the other players and the strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383012.png" />. Domination of sharings (in a [[Cooperative game|cooperative game]]): A sharing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383013.png" /> dominates a sharing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383014.png" /> (denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383015.png" />) if there exists a non-empty [[Coalition|coalition]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383016.png" /> such that
+
==Theory of games==
 +
A relation expressing the superiority of one object ([[strategy (in game theory)]]; [[sharing]]) over another. Domination of strategies: A strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338308.png" /> of player <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d0338309.png" /> dominates (strictly dominates) his strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383010.png" /> if his pay-off in any situation containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383011.png" /> is not smaller (is greater) than his pay-off in the situation comprising the same strategies of the other players and the strategy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383012.png" />. Domination of sharings (in a [[Cooperative game|cooperative game]]): A sharing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383013.png" /> dominates a sharing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383014.png" /> (denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383015.png" />) if there exists a non-empty [[Coalition|coalition]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383016.png" /> such that
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383017.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383017.png" /></td> </tr></table>
Line 31: Line 33:
  
 
====Comments====
 
====Comments====
Instead of sharing the terms [[Imputation|imputation]] and pay-off vector are also used (see also [[Gain function|Gain function]]).
+
Instead of sharing the terms [[imputation]] and pay-off vector are also used (see also [[Gain function]]).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Owen, "Game theory" , Acad. Press (1982) {{MR|0697721}} {{ZBL|0544.90103}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Owen, "Game theory" , Acad. Press (1982) {{MR|0697721}} {{ZBL|0544.90103}} </TD></TR></table>
  
Domination in potential theory is an order relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383021.png" /> between functions, in particular between potentials of specific classes, i.e. a fulfillment of the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383022.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383023.png" /> in the common domain of definition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383025.png" />. In various domination principles the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383026.png" /> is established as the result of the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383027.png" /> on some proper subsets in the domains of definition. The simplest Cartan domination principle is: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383028.png" /> be a non-negative superharmonic function (cf. [[Subharmonic function|Subharmonic function]]) on the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383030.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383031.png" /> be the Newton potential of a measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383032.png" /> of finite energy (cf. [[Energy of measures|Energy of measures]]). Then, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383033.png" /> on some set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383034.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383035.png" />, the domination <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383036.png" /> holds. See also [[Potential theory, abstract|Potential theory, abstract]].
+
==Potential theory==
 +
An order relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383021.png" /> between functions, in particular between potentials of specific classes, i.e. a fulfillment of the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383022.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383023.png" /> in the common domain of definition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383025.png" />. In various domination principles the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383026.png" /> is established as the result of the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383027.png" /> on some proper subsets in the domains of definition. The simplest Cartan domination principle is: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383028.png" /> be a non-negative superharmonic function (cf. [[Subharmonic function|Subharmonic function]]) on the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383030.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383031.png" /> be the Newton potential of a measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383032.png" /> of finite energy (cf. [[Energy of measures|Energy of measures]]). Then, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383033.png" /> on some set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383034.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383035.png" />, the domination <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383036.png" /> holds. See also [[Potential theory, abstract|Potential theory, abstract]].
  
 
====References====
 
====References====
Line 43: Line 46:
 
''E.D. Solomentsev''
 
''E.D. Solomentsev''
  
====Comments====
+
==Further concepts==
 
There are some more concepts in mathematics which involve the word dominant or domination. Thus, a sequence of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383037.png" /> for a sequence of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383038.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383039.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383040.png" /> is called a dominant or majorant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383041.png" />.
 
There are some more concepts in mathematics which involve the word dominant or domination. Thus, a sequence of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383037.png" /> for a sequence of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383038.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383039.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383040.png" /> is called a dominant or majorant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033830/d03383041.png" />.
  

Revision as of 18:24, 9 January 2016

Differential operators

An order relation formulated in terms of the characteristic polynomial . For example, if

then is stronger than if for any ,

There also exist other definitions of domination; see [1].

References

[1] L. Hörmander, "Linear partial differential operators" , Springer (1963) MR0161012 Zbl 0108.09301


Comments

References

[a1] L.V. Hörmander, "The analysis of linear partial differential operators" , 2 , Springer (1983) pp. §10.4 MR0717035 MR0705278 Zbl 0521.35002 Zbl 0521.35001

Theory of games

A relation expressing the superiority of one object (strategy (in game theory); sharing) over another. Domination of strategies: A strategy of player dominates (strictly dominates) his strategy if his pay-off in any situation containing is not smaller (is greater) than his pay-off in the situation comprising the same strategies of the other players and the strategy . Domination of sharings (in a cooperative game): A sharing dominates a sharing (denoted by ) if there exists a non-empty coalition such that

and for (where is the characteristic function of the game).

I.N. Vrublevskaya

Comments

Instead of sharing the terms imputation and pay-off vector are also used (see also Gain function).

References

[a1] G. Owen, "Game theory" , Acad. Press (1982) MR0697721 Zbl 0544.90103

Potential theory

An order relation between functions, in particular between potentials of specific classes, i.e. a fulfillment of the inequality for all in the common domain of definition of and . In various domination principles the relation is established as the result of the inequality on some proper subsets in the domains of definition. The simplest Cartan domination principle is: Let be a non-negative superharmonic function (cf. Subharmonic function) on the Euclidean space , , and let be the Newton potential of a measure of finite energy (cf. Energy of measures). Then, if on some set such that , the domination holds. See also Potential theory, abstract.

References

[1] M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) MR0106366 Zbl 0084.30903
[2] M. Brelot, "On topologies and boundaries in potential theory" , Springer (1971) MR0281940 Zbl 0222.31014

E.D. Solomentsev

Further concepts

There are some more concepts in mathematics which involve the word dominant or domination. Thus, a sequence of constants for a sequence of functions such that for all is called a dominant or majorant of .

In algebraic geometry one speaks of a dominant morphism if is dense in .

In the theory of commutative local rings, if , are both local rings contained in a field , then dominates if but , where is the maximal ideal of .

Finally, cf. Representation of a Lie algebra and Representation with a highest weight vector for the notions of a dominant weight and a dominant linear form.

The Cartan domination principle is also called Cartan's maximum principle. Let be a real-valued function on , for a measure on . The kernel is said to satisfy the balayage principle, or sweeping-out principle, if for each compact set and measure supported by there is a measure supported by such that quasi-everywhere on and in . The measure is the balayage of ; cf. also Balayage method. Let be the support of . Then the balayage principle implies the Cartan domination principle in the form that if on for some of finite energy and some , then the same holds in . (The measure has finite energy if is finite.) The potential is said to satisfy the inverse domination principle if on for of finite energy and any implies the same inequality in .

In abstract potential theory the Cartan domination principle simplifies to the "axiom of dominationaxiom of domination" . Let be a locally bounded potential, harmonic on the open set , and let be a positive hyperharmonic function (cf. Poly-harmonic function). If on the complement of , then . See [a1] for a survey of related properties.

References

[a1] C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972) MR0419799 Zbl 0248.31011
[a2] R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. Sect. IV.2 MR0463157 Zbl 0367.14001
How to Cite This Entry:
Domination. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Domination&oldid=37421
This article was adapted from an original article by A.A. Dezin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article