On S-Convexity and A Few of Our Results: I.M.R. Pinheiro July 5, 2009
On S-Convexity and A Few of Our Results: I.M.R. Pinheiro July 5, 2009
On S-Convexity and A Few of Our Results: I.M.R. Pinheiro July 5, 2009
I.M.R. Pinheiro∗
July 5, 2009
Abstract
In this paper, we review a few of our results, those which have been
published in the prestigious academic vehicles IJMA, NZJM, and DG-
DS. As a side dish, we discuss some fundamental issues on basics such
as epigraph and possible connections between convex shapes, convex
sets, and convex functions.
I. Introduction
• Definitions & Symbols;
• Epigraph;
• New result;
• Updated results;
• Conclusions;
• References.
∗
Postal address: PO Box 12396, A’Beckett st, Melbourne, Victoria, Australia, 8006.
Electronic address: illmrpinheiro@gmail.com.
1
II. Definitions & Symbols
Symbols ([1])
• K11 ≡ K12 and both classes are the same as the convex class of functions;
Definitions ([1])
2
Definition 4. f is called s2 −convex, s2 6= 1, if the graph lies below the ‘bent
chord’ between any two points of the curve for f , that is, for every compact
interval J ⊂ I, with I being the domain of f , J having boundary ∂J, and a
special function, of image curve L, L being of curvature Ψ, determined by
s2 ∈ (0, 1), we have:
(λs x1 + (1 − λs )x2 ) ⊂ X
(λs x1 + (1 − λ)s x2 ) ⊂ X
3
had the geometric need to then associate to the ‘closest’ geometric
idea which existed in the scientific literature. This because we did
not find enough coherence between all the other convex notions and
that of convex functions. Notice that the graph of a convex function
should have to do with the definition of convex shapes. Problem is that
not mattering what you try there, you end up reaching the conclusion
that the only thing which could make univocal sense with the shape
concept would be the function with graphical representation being the
straight line, otherwise any logical reason supporting a concave curve
to be the representation for a convex function could also be supporting
a convex curve to be such. Notwithstanding, we will simply accept
the existing literature for not finding better alternative and keep our
previously presented concept for S-convex sets in this paper, having
already extended the concept for convex functions in the distant past
respecting the existing definition for convex functions when doing so.
whenever λ1 ≥ 0, ..., λm ≥ 0, m s
P
p=1 λp = 1.
Pointed problems: The same remarks, exposed for the second case
of S-convexity, will apply here. We are having problems in accepting
this definition because the function which is the basis of it departs
from vectors and reaches real numbers. Of course it is very possible
to create even a Cartesian correspondence between those vectors from
the domain and the real numbers from the counter-domain (for ex-
ample, locating the first coordinate of the vector in the ‘x’ axis and
then ‘walking’ the distance corresponding to all the other coordinates
together, like, for instance, the coordinates put one after the other in
a decimal number). However, we do not know enough on the existence
of such a system of representation to then come up with an extension
which should, first of all, respect the geometric idea of convexity.
whenever λ1 ≥ 0, ..., λm ≥ 0, m
P
p=1 λp = 1.
4
Pointed problems: The definition must be adapted to the evolution
in our definitions. We will have to split this definition into two cases.
To make it worse, this definition bears several mistakes of different
orders. It has been inspired by other people’s work, published work,
once more, also publishers of weight (see [5], p. 77, for instance).
However, it is clearly the case that one cannot mix the dimensions as
it is done in this definition, or in the original alike definition for convex
functions, in which we have based ourselves. Notice that the line is the
limit for the case in two dimensions (from which we only mention one
in the definition, the graph being in two) and, in general, in Topology
(a convex graphical object is that which does contain, in itself, every
segment formed between any two points of it (see, for instance, p.
38 of [5])). According to [6], p.37, this definition should be about
convex sets, rather than functions. However, in [7], for instance, we
have a new variation of this same sort of definition, with a completely
different concept, when compared to all definitions we have mentioned
this far here, but more coherent with the initial idea for two dimensions.
Basically, we feel as if there is not enough either coherent, or consistent,
literature pieces providing similar references for the concept we should
be ‘extending’, only, here. This way, we will refrain from working
with several dimensions by now. We will have a similar definition
using multiple domain points instead to replace this one (see Jensen’s
inequality).
Pp 1 Pp
s
i=1 ai xi a Φ(xi )
Pp i
Φ Pp 1 ≤ i=1 .
( i=1 ai ) s i=1 ai
5
6. ([2]) For a real s2 -convex function Φ, numbers xi in its domain, and
positive weights ai , we have:
Pp Pp s
i=1 ai xi i=1 ai Φ(xi )
Φ Pp ≤ P p .
i=1 ai ( i=1 ai )s
Pointed problems: The same remarks, made for the previous item,
apply here.
n−1 x1 + x2 xn−1 + xn xn + x1
≥ f 1 + ... + f 1 +f 1 .
n 2s 2s 2s
n
X x1 + x2 + ... + xn
f (xi ) − f
n
i=1
2s−1 (ns − 1)
x1 + x2 xn−1 + xn xn + x1
≥ f + ... + f +f .
ns 2 2 2
Pointed problems: None so far. At most, we could try to create a
similar inequality for the second case of the definition of s2 −convex
functions, that is, for when they are non-positive.
(ns −1)[f (b1 )+f (b2 )+...+f (bn )] ≤ ns [f (a1 )+f (a2 )+...+f (an )]−nf (a),
1
a1 +a2 +...+an n s a−ai
where a = 1 and bi = 1 , i = 1, ..., n.
ns (n−1) s
6
10. ([3]) If f is an s2 −convex, non-negative, function and (a1 , a2 , ..., an )
lies in its domain, then:
(n−1)s [f (b1 )+f (b2 )+...+f (bn )] ≤ n[f (a1 )+f (a2 )+...+f (an )]−ns f (a),
a1 +a2 +...+an na−ai
where a = n and bi = n−1 , i = 1, ..., n.
Pointed problems: None so far (the same remark, made above, ap-
plies).
7
coordinate if we sum the basis vectors). Notice that convex combina-
tions are directly related to convex sets and convex shapes because by
making convex combinations of the elements of a set, or points in a
space, we will reach convex sets or shapes.
12. [4] The set of all s1 −convex combinations of the vectors is their s1 −convex
span denoted by SCS1 (→ −
v1 , →
−
v2 , ..., −
v→
n ).
14. [4] The set of all s2 −convex combinations of the vectors is their s2 -
convex span denoted by SCS2 (→ −v1 , →
−
v2 , ..., −
v→
n ).
8
Pointed problems: We have reassessed the definition of the phe-
nomenon S-convexity in Mathematics and have proved that continuity
is a necessity, having therefore automatically excluded any cases of fi-
nite sets or discontinuous functions from our realm of possibilities. For
this reason, we will be both adding a more suitable definition for con-
vexly independent sets to our own produced scientific literature and
withdrawing this one from our list of results in this paper.
19. [4] f : X ⊂ <+ − > < is considered s1 −convex iff the epigraph of f
is s1 −convex, that is, iff epi(f ) = {(x, t)/x ∈ X, t ∈ <, t ≥ f (x)} is
s1 −convex.
20. [4] f : X ⊂ <+ − > < is considered s2 −convex iff the epigraph of f
is s2 −convex, that is, iff epi(f ) = {(x, t)/x ∈ X, t ∈ <, t ≥ f (x)} is
9
s2 −convex.
23. [4] For every E ⊂ V , where V is a vector space, the union, s1 ch(E), of
all s1 -convex combinations of the elements of E, that is,
XN N
X
s
s1 ch(E) = { λj xj ; λj ≥ 0; λsj = 1; xj ∈ E; N = 1, 2, ...},
0 0
is an s1 −convex set.
24. [4] For every E ⊂ V , where V is a vector space, the union, s2 ch(E), of
all s2 -convex combinations of the elements of E, that is,
XN N
X
s2 ch(E) = { λsj xj ; λj ≥ 0; λj = 1; xj ∈ E; N = 1, 2, ...},
0 0
is an s2 −convex set.
IV. Epigraph
From [14], p.74 (partial copy): Given f : <n − > <
S
∞, the epigraph of f
is the nonempty set
10
Pointed problems: What they probably meant was several elements from
<, or multiple, rather than vectors, therefore they have mistakenly swapped
the domain of f from < to <n . This is the same mistake we have observed
before regarding our possible ‘several dimensions’ definition for Convexity.
The notation (x, r) is inadequate, for we already know they do not mean
an ordered pair, and this notation is not adequate for subsets, or even sets,
either. It basically should mean at most interval in Mathematics, but it is
also not the case. It is impossible to accept this definition.
From [15], p. 3: The epigraph of a function f : C− > < is the (n +
1)−dimensional set
Pointed problems: Here, things could have got better with the introduc-
tion of the Complex numbers in place of the multidimensional vectors, but
then it is missing referring to the modulus for the Complex numbers some-
how in the definition. Assuming you could be dealing with only the real
part of the complex numbers also does not help because we still have the
equivocated symbol for what is neither a set nor an ordered pair...
From [16], p. 8 of Chapter 3, we get a proof which is similar to what we usu-
ally find for epigraphs regarding the theorem “f convex ⇐⇒ epif convex.”
Proof. Given {(X, u), (Y, v)} ⊂ epif , we must show for all µ ∈ [0, 1] that
µ(X, u) + (1 − µ)(Y, v) ∈ epif ; id est, we must show f (µX + (1 − µ)Y ) <M
+
µu+(1−µ)v (any constant, basically. As long as we get a constant to this
side, such would be enough)2 . Yet, this holds by definition because
See that, when making the proof, all which counts is actually the fact that X
and Y are obeying the rules for convexity. What they obviously mean with
epigraph is what we will describe below, in accurate mathematical terms,
instead of what they have been stating this far.
2
Notice that the original definition allows even for this constant to be infinity, so that
there is no chance we will not get it!
11
Definition 5. Given a function f : X ⊂ <− > <, the epigraph of f ,
denoted by epif , is the set of elements of X grouped by a limiting constant
determining the sub-level set (see [14], p. 2, for instance) for the element,
that is:
epitn f = {x ∈ X/tn ≥ f (x)}.
epif = {epit1 , epit2 , ..., epitn },
where n may be infinity and we consider our extended counter-domain sets,
rather than the counter-domain sets, for consistency purposes.
What they should have meant, for what is above is not compatible with all
the proofs they have been using, is only the epitn notion above. And because
no convex, or S-convex function, will have any point with image in infinity,
but even infinity would have got a level set (special one, acquired via ‘ex-
tension’ of the functions, as it is in the literature), all domain points of such
functions will be part of some level set. In this case, we would need to prove
that it is possible to form convex, or S-convex, combinations with each couple
of domain points and with them always get to obey the rule for classification
of the level set as convex, or even S-convex, in order to prove that if a func-
tion is convex, or S-convex, then the epigraph of the function is a convex,
or S-convex, set. Notice that if we disregard all traditional rules of Maths
and accept a set of sets as a set of usual elements instead, where therefore
the delimiters are ‘decoration’, it is obvious that this will be true. Notice, as
well, that k ≥ f (x1 )∧k ≥ f (x2 ) ⇐⇒ λk ≥ λf (x1 )∧(1−λ)k ≥ (1−λ)f (x2 ).
Once f ∈ K11 , f (λx1 +(1−λ)x2 ) ≤ λf (x1 )+(1−λ)f (x2 ) ≤ λk+(1−λ)k = k.
Therefore, λx1 + (1 − λ)x2 ∈ epik as we wanted to show.
Notice that the converse is not actually true. There is no direct implica-
tion between the epigraph of the function being convex and the function
being convex. However, if they ‘confound’ the reader and state that the
epigraph is epif instead, one may think that once the deductions would lead
to λf (x1 ) + (1 − λ)f (x2 ) ∈ epi2k f while λx1 + (1 − λ)x2 ∈ epik f then it is
all in epif (provided the initial mistake, gross mistake, on the foundations
of Maths, is preserved), the mix, and then f is convex. It is just confusional
thoughts, and all is deriving from the fact that someone would like to con-
nect the notion of convex sets to that of convex functions, what we ALSO
have felt the need of doing, having already been through this. Thus, it is
actually the case that f convex =⇒ epif convex but not the converse and,
even so, one must understand that epif we refer to should be the fixed epif ,
our old epitn f .
Notice, as well, that we can only assert then that f ∈ Ks1 =⇒ epif is
12
s1 −convex, nothing else, once we would need the coefficients to sum one to
have similar proof for Ks2 or, alternatively, less than one. Once more, in the
‘confusional’ epif , any condition will always be preserved, trivially, making
the notion not only something irrelevant, trivial, in the mathematical liter-
ature, but something blatantly wrong in the foundations of the Maths (we
may invent, but never disregarding what has already been built in Maths).
13
Given the poverty of the literature available on the life and works of Jensen
(we actually have not been able to work out not even who Jensen was: Ac-
cording to some sources, he was a statistician, and according to others he was
both an engineer and a mathematician), when compared to everyone else’s
in Mathematics we know of, we will have to limit ourselves to ‘guessing’ who
would be righter about what Jensen has actually created, or stated, regard-
ing convex functions. Common sense tells us that sticking to the last version
of the inequality should return more value in research and applications than
not. If anything, it suffices that we change the name of the theorist in the
future. Region obviously includes vectors of several dimensions as domain
elements as well as lonely real values.
Now that we have defined what Jensen’s Inequality actually is, we need to
decide on a sound proof for it. Notice that the statements we have pre-
sented, collected from the scientific literature, bring Jensen’s Inequality as
an inequality for convex functions. Therefore, it is not an actual definition,
in case we can find a proof to it, but a property of the convex functions, or
an implied result from the fact that we hold a convex function, what makes
it impossible for us to think of simply ‘extending’ it to S-convexity, like it
should be more complex than that.
Proof of Jensen we have chosen (from [8], p. 320):
n
X
=m λk (xk − ξ) + f (ξ)
k=1
n
X
= f (ξ) = f ( λi xi ).
i=1
We will need to reproduce the theorem which is mentioned in this proof and
the proof for it as well to make it complete, so there we go:
14
Theorem 5.4. (Theorem 14.8) Let f be a convex function on an interval
I in <. Then we have: ...(b) For every xo ∈ I and every real number
m ∈ [(Dl f (xo ), Dr f (xo )], we have f (x) ≥ m(x − xo ) + f (xo ) for x ∈ I.
Proof. Let xo ∈ I and let m ∈ [(Dl f )(xo ), (Dr f )(xo )]. Let x ∈ I. If x < xo ,
then by (3) of Theorem 14.5, we have f (x)−f (xo )
x−xo ≤ (Dl f )(xo ) ≤ m. Then
since x − xo < 0, we have f (x) − f (xo ) ≥ m(x − xo ). On the other hand, if
x ≥ xo , then by (3) of Theorem 14.5, we have f (x)−f x−xo
(xo )
≥ (Dr f )(xo ) ≥ m
so that f (x) − f (xo ) ≥ m(x − xo ). Thus, we have shown that for x ∈ I
such that x 6= xo , we have f (x) − f (xo ) ≥ m(x − xo ). This inequality holds
trivially for x = xo . We then have f (x) ≥ m(x − xo ) + f (xo ) for x ∈ I.
15
(1) (w − u)f (v) ≤ (w − v)f (u) + (v − u)f (w).
To derive the first inequality of the Proposition, let us write (1) as
Then we have
and then
(w − u)(f (v) − f (w)) ≤ (w − v)f (u) − f (w).
Cross-multiplying and then multiplying by -1 we have the second inequality
of the Proposition.
16
• Given the second item above, we hold a monotonic non-decreasing se-
quence, as for the ratio of the differences forming our limit for our
derivative in the point xo . Given the fourth item above, the sequence
is also limited from above, therefore it converges by the trivial conse-
quences of the Bolzano-Weierstrass theorem ([11]). As the points con-
sidered approach xo from below, we do have a left differential and we
may assert that n ∈ N, n 6= o, xn < xo =⇒ f (xxnn)−f
−xo
(xo )
≤ Dl f (xo ) =
M;
1 1
• xo < x1 < x2 =⇒ x1 − x0 < x2 − xo =⇒ x1 −xo > x2 −xo ;
17
points are equal the inequality is trivially verified. By the analogous
for Ks1 of (b) of Theorem 14.8, we have f (x) ≥ m(x − ξ) + f (ξ) for
x ∈ I. Then f (x) ≥ m(x − ξ) + f (ξ) for x ∈ I. Then
n
X n
X
λsk f (xk ) ≥ λsk [m(xk − ξ) + f (ξ)]
k=1 k=1
n
X
=m λsk [(xk − ξ)] + f (ξ)
k=1
n
X
= f (ξ) = f ( λsi xi )
i=1
The same lemmas used for the proof of the extension of Jensen’s to Ks1
functions may easily be considered valid for the monotonic cases, all of them,
as well as for any f which is differentiable, at most subtle changes being due
in the proofs for the Ks2 functions. On the other hand, if we prove that no
s2 -convex function will ever be short of lateral limits, we get the extension
guaranteed for our second type of S−convex functions, the proof being then
made below and the theorem also being stated below, with due adaptations.
Lemma 1. Every non-negative s2 −convex function has got both lateral lim-
its, as for differential calculus, in all its domain points.
Proof. Suppose that a certain s2 −convex function does not hold either the
lateral limit to the left or the lateral limit to the right of a certain point
xo of its domain, as for differential
calculus. We then hold at least one
f (xk )−f (xo )
xk ∈ Df /|xk − xo | < but xk −xo − L > δ(), ∀δ(). It happens
that, by using the definition of s2 −convex function, we may get any point
as close to the other as we wish in the domain and we still get an upper
limit for the ratio. See: Consider xk . We then have xo < xk < xk+1 , or any
variation of this triplet which preserves order. Such implies, by the definition
of s2 −convexity majorized for the right bound, f (xk ) ≤ f (xo )+f (xk+1 ) =⇒
18
f (xk )−f (xo ) k+1 f (x )
xk −xo ≤ xk −x o
. Subtracting L from both sides, and evaluating the
right member, we get our guaranteed δ(), with interfering with the size of
the element to the right of the inequality. Therefore contradiction and such
is impossible.
Theorem 5.8. Let f be an s2 −convex function on an interval I in <+ .
Then for any x1 , ..., xn ∈ I and λ1 , ..., λn ∈ [0, 1] such that λ1 + ... + λn = 1,
we have
f (λ1 x1 + ... + λn xn ) ≤ λs1 f (x1 ) + ... + λsn f (xn ).
Proof. Let the n points x1 , x2 , ..., xn in I ⊂ <+ be so numbered
Pn that x1 ≤
x2 ≤ ... P
≤ xn . Let λ1 , λ2 , ..., λn ∈ [0, 1] be such that i=1 λi = 1. If we
n
let ξ = i=1 λi xi then ξ ∈ [x1 , xn ] ⊂ I. Take an arbitrary real number
m ∈ [(Dl f )(ξ), (Dr f )(ξ)]. By the analogous for Ks2 of (b) of Theorem 14.8,
we have f (x) ≥ m(x − ξ) + f (ξ) for x ∈ I. Then f (x) ≥ m(x − ξ) + f (ξ) for
x ∈ I. Then
X n Xn Xn
s
λk f (xk ) ≥ λk f (xk ) ≥ λk {m(xk − ξ) + f (ξ)}
k=1 k=1 k=1
n
X
=m λk (xk − ξ) + f (ξ)
k=1
n
X
= f (ξ) = f ( λi xi ).
i=1
19
VI. New result
Definition 6. Given a function f : X ⊂ <− > <, the epigraph of f ,
denoted by epif , is the set of elements of X grouped by a limiting constant
determining the sub-level set for the elements, that is:
(λs x1 + (1 − λs )x2 ) ⊂ X
(λs x1 + (1 − λ)s x2 ) ⊂ X
Pp 1 Pp
s
i=1 ai xi a Φ(xi )
Pp i
Φ Pp 1 ≤ i=1 ;
( i=1 ai ) s i=1 ai
20
6. Let f be an s2 −convex function on an interval I in <+ . Then for any
x1 , ..., xn ∈ I and λ1 , ..., λn ∈ [0, 1] such that λ1 + ... + λn = 1, we have
11. The set of all s2 -convex combinations of the vectors is their s2 −convex
span denoted by SCS2 (→ −
v1 , →
−
v2 , ..., −
v→
n );
12. If f is an s1 −convex, non-negative, function and {x1 , x2 , ..., xn } ⊂ Df
then:
n
X x1 + x2 + ... + xn
f (xi ) − f 1
i=1 ns
n−1 x1 + x2 xn−1 + xn xn + x1
≥ f 1 + ... + f 1 +f 1 ;
n 2s 2s 2s
13. If f is an s2 −convex, non-negative, function and {x1 , x2 , ..., xn } ⊂ Df
then:
n
X x1 + x2 + ... + xn
f (xi ) − f
n
i=1
3
The remark from p. 259 of [4] and the definitions for S-convexly independent sets are
to simply be kept as they appear there, so that we will not repeat them here
21
2s−1 (ns − 1)
x1 + x2 xn−1 + xn xn + x1
≥ f + ... + f +f ;
ns 2 2 2
14. If f is an s1 −convex, non-negative, function and {a1 , a2 , ..., an } ⊂ Df
then:
(ns −1)[f (b1 )+f (b2 )+...+f (bn )] ≤ ns [f (a1 )+f (a2 )+...+f (an )]−nf (a),
1
a1 +a2 +...+an n s a−ai
where a = 1 and bi = 1 , i = 1, ..., n;
ns (n−1) s
15. If f is an s2 −convex, non-negative, function and {a1 , a2 , ..., an } ⊂ Df
then:
(n−1)s [f (b1 )+f (b2 )+...+f (bn )] ≤ n[f (a1 )+f (a2 )+...+f (an )]−ns f (a),
a1 +a2 +...+an na−ai
where a = n and bi = n−1 , i = 1, ..., n;
16. The closure of an s1 −convex set is s1 -convex;
17. The closure of an s2 −convex set is s2 -convex;
18. The interior of an s1 −convex set is also an s1 −convex set;
19. The interior of an s2 −convex set is also an s2 −convex set;
20. For every E ⊂ V , where V is a vector space, the union, s1 ch(E), of all
s1 -convex combinations of the elements of E, that is,
Xn n
X
s1 ch(E) = { λsj xj ; λj ≥ 0; λsj = 1; xj ∈ E; n = 1, 2, ...},
0 j=0
is an s1 −convex set;
21. For every E ⊂ V , where V is a vector space, the union, s2 ch(E), of all
s2 -convex combinations of the elements of E, that is,
Xn n
X
s2 ch(E) = { λsj xj ; λj ≥ 0; λj = 1; xj ∈ E; n = 1, 2, ...},
0 0
is an s2 −convex set;
22. ([17], p. 117-118, re-worded) Let E be a vector space over <. Denote
by conv(.) the operation of taking the convex hull of a subset of E. In
other words, for any set X ⊂ E, conv(X) denotes the smallest convex
set in E containing X. Let Z ⊂ E. We shall say that Z is convexly
independent (in E) if, for each point z ∈ Z, we have z 6∈ conv(Z\{z});
22
23. The operation s1 ch(.), the equivalent to the previous notion for s1 −convex
sets, is redundant because the results are the same as in conv(.), that
is, for any set X ⊂ E, where E is a vector space over <, s1 ch(X) ≡
conv(X);
24. The operation s2 ch(.), the equivalent to the previous notion for s2 −convex
sets, is trivial, for it will always give the closure of < as a result (every
time one considers all possible S-convex combinations between the el-
ements of a set, one ends up with an expansion, which would become
the smallest S-convex set were it not the case that the expansion will
generate a larger necessary smallest set again, the smallest set itself
becoming a delusional concept).
VIII. Conclusions
In this paper, we have been able to review, and update, our past research
results, communicated through three of the most prestigious mathematical
journals of nowadays. Besides, we also have discussed a few ideas of meaning
and weight, providing inspirational writing to researchers in the concerned
fields.
23
IX. References
[1] M. R. Pinheiro. On S-convexity and our paper with Aequationes Mathe-
maticae. Submitted. 2009.
[3] M.R. Pinheiro. Lazhar’s Inequalities and the S-convex Phenomenon. New
Zealand Journal of Mathematics, V. 38, (2008), pp. 57 − 62.
[8] J. Yeh. Real analysis : theory of measure and integration. World Scien-
tific, 2nd ed., ISBN: 9812566538 (hbk.), 9812566546 (pbk.), (2006).
[10] R. C. James. Mathematics dictionary. Chapman & Hall, 5th ed., ISBN:
0412990415 (pbk.), (1992).
24
Accessed on the 29th of June of 2009, (1999).
25