In
mathematics, a vector measure is a
function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...
defined on a
family of sets
In set theory and related branches of mathematics, a collection F of subsets of a given set S is called a family of subsets of S, or a family of sets over S. More generally, a collection of any sets whatsoever is called a family of sets, set fami ...
and taking
vector
Vector most often refers to:
*Euclidean vector, a quantity with a magnitude and a direction
*Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism
Vector may also refer to:
Mathematic ...
values satisfying certain properties. It is a generalization of the concept of finite
measure
Measure may refer to:
* Measurement, the assignment of a number to a characteristic of an object or event
Law
* Ballot measure, proposed legislation in the United States
* Church of England Measure, legislation of the Church of England
* Mea ...
, which takes
nonnegative
In mathematics, the sign of a real number is its property of being either positive, negative, or zero. Depending on local conventions, zero may be considered as being neither positive nor negative (having no sign or a unique third sign), or it ...
real
Real may refer to:
Currencies
* Brazilian real (R$)
* Central American Republic real
* Mexican real
* Portuguese real
* Spanish real
* Spanish colonial real
Music Albums
* ''Real'' (L'Arc-en-Ciel album) (2000)
* ''Real'' (Bright album) (2010) ...
values only.
Definitions and first consequences
Given a
field of sets
In mathematics, a field of sets is a mathematical structure consisting of a pair ( X, \mathcal ) consisting of a set X and a family \mathcal of subsets of X called an algebra over X that contains the empty set as an element, and is closed un ...
and a
Banach space a finitely additive vector measure (or measure, for short) is a function
such that for any two
disjoint set
In mathematics, two sets are said to be disjoint sets if they have no element in common. Equivalently, two disjoint sets are sets whose intersection is the empty set.. For example, and are ''disjoint sets,'' while and are not disjoint. A c ...
s
and
in
one has
A vector measure
is called countably additive if for any
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
of disjoint sets in
such that their union is in
it holds that
with the
series
Series may refer to:
People with the name
* Caroline Series (born 1951), English mathematician, daughter of George Series
* George Series (1920–1995), English physicist
Arts, entertainment, and media
Music
* Series, the ordered sets used in ...
on the right-hand side convergent in the
norm
Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envi ...
of the Banach space
It can be proved that an additive vector measure
is countably additive if and only if for any sequence
as above one has
where
is the norm on
Countably additive vector measures defined on
sigma-algebras are more general than finite
measure
Measure may refer to:
* Measurement, the assignment of a number to a characteristic of an object or event
Law
* Ballot measure, proposed legislation in the United States
* Church of England Measure, legislation of the Church of England
* Mea ...
s, finite
signed measure
In mathematics, signed measure is a generalization of the concept of (positive) measure by allowing the set function to take negative values.
Definition
There are two slightly different concepts of a signed measure, depending on whether or not ...
s, and
complex measure In mathematics, specifically measure theory, a complex measure generalizes the concept of measure by letting it have complex values. In other words, one allows for sets whose size (length, area, volume) is a complex number.
Definition
Formal ...
s, which are
countably additive function
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures ( length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simi ...
s taking values respectively on the real interval
_the_set_of_real_numbers,_and_the_set_of_complex_number.html" ;"title="real_number.html" ;"title=", \infty), the set of real number">, \infty), the set of real numbers, and the set of complex number">real_number.html" ;"title=", \infty), the set of real number">, \infty), the set of real numbers, and the set of complex numbers.
Examples
Consider the field of sets made up of the interval
together with the family
of all Lebesgue measurable sets contained in this interval. For any such set
define
where
is the
indicator function of
Depending on where
is declared to take values, two different outcomes are observed.
*
viewed as a function from
to the
-space is a vector measure which is not countably-additive.
*
viewed as a function from
to the
-space
is a countably-additive vector measure.
Both of these statements follow quite easily from the criterion () stated above.
The variation of a vector measure
Given a vector measure
the variation
of
is defined as
where the
supremum is taken over all the
partitions
Partition may refer to:
Computing Hardware
* Disk partitioning, the division of a hard disk drive
* Memory partition, a subdivision of a computer's memory, usually for use by a single job
Software
* Partition (database), the division of a ...
of
into a finite number of disjoint sets, for all
in
Here,
is the norm on
The variation of
is a finitely additive function taking values in
It holds that
for any
in
If
is finite, the measure
is said to be of bounded variation. One can prove that if
is a vector measure of bounded variation, then
is countably additive if and only if
is countably additive.
Lyapunov's theorem
In the theory of vector measures, ''
Lyapunov's theorem'' states that the range of a (
non-atomic) finite-dimensional vector measure is
closed and
convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytop ...
.
[ Kluvánek, I., Knowles, G., ''Vector Measures and Control Systems'', North-Holland Mathematics Studies 20, Amsterdam, 1976.] In fact, the range of a non-atomic vector measure is a ''zonoid'' (the closed and convex set that is the limit of a convergent sequence of
zonotope
In geometry, a zonohedron is a convex polyhedron that is centrally symmetric, every face of which is a polygon that is centrally symmetric (a zonogon). Any zonohedron may equivalently be described as the Minkowski sum of a set of line segments i ...
s).
It is used in
economics
Economics () is the social science that studies the production, distribution, and consumption of goods and services.
Economics focuses on the behaviour and interactions of economic agents and how economies work. Microeconomics analyzes ...
,
[ This paper builds on two papers by Aumann: ]
in (
"bang–bang")
control theory
Control theory is a field of mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a ...
,
and in
statistical theory
The theory of statistics provides a basis for the whole range of techniques, in both study design and data analysis, that are used within applications of statistics.
The theory covers approaches to statistical-decision problems and to statistica ...
.
Lyapunov's theorem has been proved by using the
Shapley–Folkman lemma
The Shapley–Folkman lemma is a result in convex geometry that describes the Minkowski addition of sets in a vector space. It is named after mathematicians Lloyd Shapley and Jon Folkman, but was first published by the economist Ross ...
, which has been viewed as a
discrete
Discrete may refer to:
*Discrete particle or quantum in physics, for example in quantum theory
*Discrete device, an electronic component with just one circuit element, either passive or active, other than an integrated circuit
*Discrete group, a g ...
analogue of Lyapunov's theorem.
[Page 210: ]
See also
*
*
*
*
*
*
*
References
Bibliography
*
*
*
Kluvánek, I., Knowles, G, ''Vector Measures and Control Systems'', North-Holland Mathematics Studies 20, Amsterdam, 1976.
*
*
{{Measure theory
Control theory
Functional analysis
Measures (measure theory)