Science topics: AnalysisReal Analysis

Science topic

# Real Analysis - Science topic

Explore the latest questions and answers in Real Analysis, and find Real Analysis experts.

Questions related to Real Analysis

Of course every Banach space has type 1 and it is known that if 0<p<1 then every quasi-Banach space has type p if and only if it is locally-p-convex. Below is a question and some comments which I think are worthy of discussion. I am not certain of some comments so any corrections or insights would be appreciated. If this discussion gets off the ground, I can provide some extra information and references.

**Question: Must a quasi-Banach space of type 1 equal its Mackey topology completion?**

1. If there is a non-locally convex space of type 1 with a separating dual then the answer to the above question is negative. However, I don't know of such a space.

2. The Ribe space R is a non-locally convex space whose dual vanishes on a one-dimensional subspace L such that the quotient R/L is the Banach space of absolutely summable scalar sequences. Thus, the completion of R with respect to its Mackey topology is a pseudo-normed space with a 1-dimensional null subspace. Thus, this is a complete pseudo-normed space and is known to have type 1.

3. Consider the Lorentz spaces L

^{1,q}for q in [1,inf].- L
^{1,1}is the Banach space L^{1}and is therefore type 1 and of course complete in its Mackey topology. - L
^{1,inf}is the non-locally-convex space weak-L^{1}. This space has a complicated, non-trivial dual. I am not sure how to determine if this space is a complete pseudo-normed space in its Mackey topology but it is known that this space does NOT have type 1 but is locally-p-covex for every 0<p<1. - If 1<q<inf, L
^{1,q}has a trivial dual space. Thus, it is complete in its Mackey topology as this is the trivial space {0}. This space is known to have type 1.

Does there exist a real sequence, say (x

_{n}), with the following properties?(i) (x

_{n}) has non-zero terms and converges to zero(ii) The limit set of abs(x

_{n+1}\x_{n}), i.e. the set containing the limits of all convergent subsequences of abs(x_{n+1}\x_{n}), contains**at least two points**and it is bounded above by a number**less**than 1.In Mathematics, some proofs are not convincing since the assumption fails in the Proofs.

If equality is Changed to "approximately equal to" then the Proof becomes more Perfect. But Uniqueness cannot be guaranteed.

In Page number 291, Introduction to Real Analysis Fourth Edition authored by Bartle and Sherbert, the Proof of Uniqueness theorem is explained.

That Proof is not perfect.

Reason : Initially epsilon is assumed as positive and so not equal to zero. Before Conclusion of the Proof, epsilon is considered as zero and written as two limits are equal.

The equality cannot hold since epsilon is not zero. Only the possibility to write is Two limits are approximately equal.

Since Epsilon is arbitrary, never imply epsilon is zero.

I hope the authors and other mathematicians will notice this error and will change in new editions.

A sequential, if-and-only-if criterion of Riemann integrability that follows from the Riemann’s definition of the integral, states that a function on a closed and bounded interval is Riemann integrable if and only if any respective sequence of Riemann sums is Cauchy for any tagged partition of the interval with norm tending to zero [1].

Although this is not a new result, it is not mentioned in standard textbooks [2-5].

However, if the previous criterion is used as a starting point to define the integral, it provides a number of educational advantages over the traditional definitions of Riemann and Darboux.

The uniqueness, the linearity, and the order properties of the integral all follow naturally and easily from the respective properties of sequence limit [1].

Moreover, the boundedness of any integrable function is not necessary to be assumed beforehand, as it can be easily proved using that a convergent sequence is bounded [1].

Further, this approach has the advantage of being “infinitesimal-friendly” (so to speak), as the integral can be realized as an infinite sum of infinitesimal quantities [6], thus giving the instructor the opportunity to further introduce the concept of infinitesimal.

Appealing mainly to mathematicians, I wonder if a work presenting such an approach would be publishable in educationally-oriented journals of mathematics.

[1]

[2] Robert G. Bartle and Donald R. Sherbert, Introduction to Real Analysis. John Wiley & Sons, Inc., Fourth Edition, 2011.

[3] Stephen Abbott, Understanding Analysis. Springer, Second Edition, 2015.

[4] Michael Spivak,

*Calculus*. Publish or Perish, Inc., Third Edition, 1994.[5] Walter Rudin, Principles of Mathematical Analysis. McGraw-Hill, Inc., Third Edition, 1976.

The limit superior/inferior of a sequence in R can be introduced in different ways.

One way to define the previous limits is by considering the sequence of suprema/infima of the successive tails of the initial sequence. The limit superior/inferior is then defined as the infimum/supremum of the sequence of suprema/infima of the successive tails of the initial sequence.

Another way to introduce the limit superior/inferior of a sequence is by considering the set of real numbers with the property that only a finite number of terms of the sequence are greater/less than those real numbers. This is a more general, and more abstract, way to introduce the limit superior/inferior, as the previous set contains the sequence of suprema/infima of the successive tails of the initial sequence.

Finally, a more informative, but also more restrictive, way to introduce the limit superior/inferior is by stating that it is the supremum/infimum of the limit set of the sequence, i.e. it is the supremum/infimum of the subsequential limits of the sequence.

What, do you think, is the best way to introduce the subtle concept of limit superior/inferior?

I want malwares that are used in advanced persistent threat APT

samples for analysis

How to prove or where to find the integral inequality (3.3) involving the Laplace transforms, as showed in the pictures here? Is the integral inequality (3.3) valid for some general function $h(t)$ which is increasing and non-negative on the right semi-axis? Is the integral inequality (3.3) a special case of some general inequality? I have proved that the special function $h(t)$ has some properties in Lemma 2.2, but I haven't prove the integral inequality (3.3) yet. Wish you help me prove (3.3) for the special function $h(t)$ in Lemma 2.2 in the pictures.

I'm looking to apply for MS programs but before that I want to clearify which direction should I go as it will help me to write a better Statement of purpose.I'm intrested to do research in area of Analysis i.e Real Analysis, Functional Analysis etc..

I am looking at a pde of the form

D^2 u + f u = k u,

here D^2 denotes the laplacian, u and f are complex functions on IR^n. I want as much information as possible about each PDE. For example, how many solutions exist for each value of k and properties of the solutions themselves, such as smoothness, boundedness, stationary points etc. Can you recommend your favourite reference volumes for eigenvalue problems for PDEs? I have a bunch of resources on PDEs in general, so that is not what I am looking for. Instead, I am looking for the subtleties that mainly relates to eigenvalue problems.

Thank you for your time.

We know that mathematicians study different mathematical spaces such as Hilbert space, Banach space, Sobolev space, etc...

but as engineers, is it necessary for us to understand the definition of these spaces?

A new paper in "Constructive Mathematical Analysis" by Prof. Michele Campiti.

You can download the paper for free:

Recent research has shown key important aspects with measurability of theoretical postulates verifying hypotheses parameters, processes, phenomena, and models.

Tensor matrices have necessarily roles to bring about complex nature manifesting spatially and temporarily. Explaining everything that is existing in terms of the fundamental entities have lead to realization of geometric topology space tensor manifold time evolving event gridnetwork.

Einstein's General Theory of Relativity, Quantum to Particle Theory of Everything, String Theory among others have measurability in mind a proof of model requirement automatically. For example, Schwartzchild blackhole mathematics helped to identify, observe, and measure singularity blackhole consequently, the recent telescopic photos observing directly, proving validity with General Theory of Relativity tensor predictive capability.

Providing the thumb rules, below certain associative relationships might connect mathematics with physics to measure model......

. typically scalars, scalar matrices are helpful to get statistical measurements that are analyzable observationally experimentally......

. tensors have stochastical vector matrices that aren't amenable to direct measurements. Hence transforming tensors or matrix tensors to scalar matrix systems are key to make measurable operational parametric graphical experimental observational gridnetworks.

My analyses metrix protocol techniques have yielded a rough estimate of overall globally ~80% of objects universally are measurable statistically. This will mean ~20% are uncertainity stochastic probabilities with a few% inherent immeasurable tensor network, aether may be example. I have space time sense 2x2 tensor grid part of a large tensor matrix that if transformed to 5 dimensional like scalar matrix natural manifolds protocol will help eventually in the quantitative grand unified theory of everything. There are more to come after our QFM/EM modeling going on with collaborative platform TEI.

Given below are a few references that are associated, not exhaustive, suggestions welcome. Additions editions expansions!!!!!

(1) https://www.researchgate.net/project/TOWARDS-THE-GRAND-UNIFIED-THEORY-OF-EVERYTHING-LINKING-FUNCTIONALITY-MODEL-CONCRETE-TO-ABSTRACTIONS?_sg=XNNU-DQ2rx6YNmUfxUjYZ6LaLamHZK8jGl_UOQblslDC1A9ygt_x0mY-iylt49cJFCqpUNKip5okOdqjIf43mH-lRm2JzYvjuM4j including working papers with tensor analyses......

(4)

(6) Zurek, Wojciech H. (2003). "Decoherence, einselection, and the quantum origins of the classical".

*Reviews of Modern Physics*.**75**(3): 715. arXiv:quant-ph/0105127. Bibcode:2003RvMP...75..715Z. doi:10.1103/revmodphys.75.715 & Dan Stahlke. "Quantum Decoherence and the Measurement Problem" (PDF). Retrieved 2011-07-23.Dear All,

I am hoping that someone of you have the

**First Edition**of this book (pdf)**Introduction to Real Analysis by Bartle and Sherbert**

The other editions are already available online. I need the First Edition only.

It would be a great help to me!

Thank you so much in advance.

Sarah

Here smooth means infinitely differentiable. Clearly (df_x)*(df_x) has all its eigen values nonnegative and has atleast one +ve eigen value. Can we say that E_f is smooth or continuous. If not true then, are there some known conditions under which it is well behaved (smooth or continuous)?

What can we say if f has constant rank?

In the theory of the stability of the differential operators, one could prove the stability results based on spectra of an operator, (all eigenvalues must be negative for example).

one problem with the above method is that not all linear operators are self-adjoint (for examples operators in convection diffusion form) and their corresponding eigenvalue problem can not be solved analytically, hence spectra of the operator can not be calculated analytically. On the other hand there is a definition related to spectra, which is called pseudo-spectra, that somehow evaluates the approximated spectrum , even for non self-adjoint operators.

I want to know is it possible to establish stability results for a differential operator based on pseudo-spectra?

Let f be the pdf of a

*n*dimensional*N*(0,*C*) distribution*i.e*up to a multiplicative constant,*f*(*x*)=exp(−0.5*x*′*C*^{−1}*x*).Which vector fields

*F*are so that div(*F*)=*f*?For example, when we xerox a document, the printer takes the A4 page to the same. Are there other better examples?

Iis there any discrete analogue m of

**star convexity at 0' star convexity at 0',?****That is, in the same way that midpoint convexity can be seen to be a discrete analogue of convexity (and entails it under certain regularity assumptions, continuity etc)?**

For example, where

**F:[0,1] \to [0,1**],**star convexity at 0**:

"\for all x \in dom (F)=[0,1],:(\forall t \in [0,1]) :"F(t

*** x_0 +(1-t) * x )<= t * F(x_0)+(1-t)* F(x) where x_0 =0 "****Generally with F(0)=0 t it becomes :**

**For all x \in dom (F)=[0,1],:(\forall t \in [0,1]) F(tx)<=tF(x)**

**(it is convexity restricted so that the first argument is some specific minimum value usually x0=0**

**'**

**such as '\mid-star convexity at x0=0' for F:[0,1] \to [0,1] F(0)=0'**

**mid-star convexity at x0=0 \for all x \in dom (F)=[0, F(1/2x)<=1/2F(x) which under certain regularity assumptions ensure the star convexity of the function or that its a retract \forall x in dom(F)=[0,1]**

**F(x)<=x which given F(1)=1 is generally entailed by star convexity**

**( i call this mid-star convexity with F(0)=0 and x0=0\in dom(F) for F:[0,1]\to [0,1]**

**strictly monotone increasing bi-jection F:[0,1]\to [0,1]**

**-where F is absolutely continuous**

**-F at1/2/3 times continuously differentiable**

**with F(1)=1 and F(0)=0 F(1/2)=1/2**

**I presume not as not all star convex functions are continuous to begin with?**

Is there exist at least 9 distinct

**a bi-j-ective, diffeomorphic& homoeomorphic.****analytic**functions F(x,y), dom i of two variables in the x,y, cartesian planeF(x,y); dom F:[0,1]\times[0,srt(3)/2],\toΔ^2, unit 2 probability simplex

CO-DOM(F)=IM(F)=delta_2: {p(i)=<p_1,p_2,p_3>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0\in [0,1]\forall (x1,x2,x3)\in [0,1]

F(0,0)=(1,0,0)

F(1,0)=(0,1,0)

F(1/2, sqrt(3)/2)=(0,0,1)

F(x=1/2,y=sqrt(3)/6))=(1/3,1/3,1/3)_(1/2, sqrt(3)/6) =

The inverse function being

i=(x,y)=F-1(<p1i,p2i,p3i>_i=(x,y))= <x=[2p2+p3+1]/2,y= p3 *[sqrt(3)/2]]

F(x=1/2,y=sqrt(3)/6))=(1/3,1/3,1/3)_(1/2, sqrt(3)/6) ;

Incidentally it also has to accomodate the 8 element boolean algebra of events on each pt as well <p1,p2,p3>, pi1+p2+p3=1 pi>=0 omega=1, emptyset =0,

PR(A or B)=PR(A)+PR(B)= p1+p2 >=0

and <p1+p2, p2+p3, p3+p4)

ie F(x,y)= <p1,p2,p3>,\to <1,0, p1, p2, p3, p1+p2, p2+p3, p3+p1}

and as every element of the simplex must be present at very least six times,

It actually must consist of at least six identical simplexes, that where the euclidean

F(x,y, {1.2,3.4.5.6})=Δ^2\cup_i=1-6, these can be the same simplex but with the order, of each pi in each <p1, p2, p3> interchanged

<Omega={A,B,C}, F= {{Omega},{ emptyset}, {A}, {B}, {C}, {A V B}, {AVC}, {B VD)

PR(A)=p1

PR(B)=p2 PR(C)=p3

PR(A or B)=PR(A)+PR(B)= p1+p2 >=0

PR(A or C)=PR(A)+PR(C)=p2+p3

PR(B or C)=PR(B)+PR(C)=p1+p3

where in addition there is a further triangle probability function that is ranked by this chances. The triangle frame function G(x,y,1,6)={{1,0, g1,g2,g3, g1+g2, g2+g3, g1+g3}, 1<=gi, g1+g2, g2+g3, g3+g1>=0, g1+g2 +g3=1;

such that for F(x,y,{i,6] on the same coordinates, \forall Ei\in(A, B, C,A or B, A or C, B or C)

{{1,0, g1,g2,g3, g1+g2, g2+g3, g1+g3}= [G(x,y,{1,,,6,1), G(x,y,{1,,,6},2), G(x,y,{1,6},3), G(x,y,{1,,,6},4), G(x,y,{1,,,6},5),.....

**G(x,y,{1,,,6},8),]****; G(x,y,{1,,6},1)=1, G(x,y,{1,,,6},2)=0**

**1>G(x,y,{1,,6},3)=g1,>0 in the interior**

**1>G(x,y,{1,,6},4)=g2 >0,**

**1>G(x,y,{1,,6},5)=g3>0**

**1>G(x,y,{1,,6},5)=g1+g2>0, >{g1,g2}**

**1>G(x,y,{1,,6},7)=g2>0**

**1>G(x,y,{1,,6},8)=g1+g3>0, g1+g3>g3, g1+g3>g1**

**1>G(x,y,{1,,6},7)=g2+g3>0, g2+g3> (g2, g3)**

**g1+g2+g3=1**

**1>G(x,y,{1,,6},5)=g1+g2>0**

\forall i in [i in 6} G(0,0,i,)=(0,0,1),

G(0,0,i\in [1,6},3)=G(0,0,i\in [1,6},, 1),=G(0,0,i\in [1,6},5)=G(0,0,i\in [1,6},8}=1

G(0,0,i\in [1,6},2)=G(0,0,i, 4),=G(0,0,i\in [1,6},{7}=,G(0,0,i\in [1,6},{8})=0

\forall i in [i in 6} G(1,0)=(0,1,0)

G(1/2, sqrt(3)/2)=(0,0,1)=

G(x=1/2,y=sqrt(3)/6, {1,,,6}))=(1/3,1/3,1/3)=(1,0,1/3.1/3.1/3. 2/3,2/3.2/3}

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, G(x,y,i,j)=gj>1/3, iff F(x,y,i,j)=pj>1/3,

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, G(x,y,i,j)=gj>1/3, iff F(x,y,i,j)=pj>1/3,

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, G(x,y,i,j)=gj=1/2, iff F(x,y,i,j)=pj=1/2,

\forall {x,(y)}\forall,l {i....6},\forall j \in {1,,,8}, F(x,y,i,j)=pt<|=|>F(x1,y,1i1,t)=pt[\forany {x1,(y1)}\foranyl,l1 {i....6},forany t \in {1,,,8}, iff G(x,y,i,j)=gj|<|=|> G(x1,y1,i1,t)=gt, ,

\forall {x,(y)}\forall,l {i....6},\forall t \in {1,,,8}, \forall {x1,(y1)}\forall,i1 {i....6},\forall t_1 \in {1,,,8}, such that

F(x,y,i,,t1)+F(x1,y1,i1,t2)=p_t(y,x,i)+p_t1(x1,x1,i1)<|=|> F(x2,y2,i2, t3)+F(x3,y3,i3,t4) =p_t3(x2,x2,i2)+ p_t4(x3,x3,i3)\forany{x2,(y2),i3},(x3,y3,i3}dom(F) such that, forany (t2,t3) \in {1,,,8}, where t2 @,sigma F(x2,y2,i3_, t3 in sigma @,F( x3,y3, t3) iff

G(x,y,i,,t1)+G(x1,y1,i1,t2)=g_t1(y,x,i)+g_t2(x1,x1,i1)<|=|> G(x2,y2,i2,j,t3)+ G(x3,y3,i, t4)=g_t3(y2,x2,i2)+g_t4(x3,x3,i3)

where

, iff F(x,y,i,j)=pj=1/2,

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, 0<G(x,y,i,j)=gj<1/3, iff 0<F(x,y,i,j)=pj<1/3,

\forall {x,(y),l {i....6},\forall j \in {1,,,8},2/3 <G(x,y,i,j)=gj>1/3, iff 2/3>F(x,y,i,j)=pj>1/3,

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, G(x,y,i,j)=gj=2/3 iff F(x,y,i,j)=pj=2/3}

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, 1>G(x,y,i,j)=gj>2/3 iff 1>F(x,y,i,j)>2/3

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, 1>G(x,y,i,j)=gj>0iff 1>F(x,y,i,j)>0

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, 1>G(x,y,i,j)=gj= 0 iff F(x,y,i,j)=0

\forall {x,(y),l {i....6},\forall j \in {1,,,8}, 1>G(x,y,i,j)=gj= 1 iff F(x,y,i,j)=1

forall

_(1/2, sqrt(3)/6) =

{{1,0, p1,p2,p3, p1+p2, p2+p3, p1+p3}

\forall Et\in(A, B, C,A or B, A or C, B or C), \forall Ej\in(A, B, C,A or B, A or C, B or C)

ie for t\in {1,......8), j in {1,,,,,8}

G(,x,y,{i,,,,6},t,) @ x,y,i>G(x,y,{1,,,6},j) or G(,x,y,{i,,,,6},t,)=G(x,y,{1,,,6,j,) or G(,x,y,{i,,,,6},t,) @ x,y,i<G(x,y,{1,,,6},j)

G(,x,y,{i,,,,6},t,)_t @ x,y,i>G(x,y,{1,,,6},j) iff F((x,y, {i,6},t)>F(x,y,{i,,6},j)= PR(F(x,y,{i,,6})>PR(x,y,{i,,,6}

G(Ei)=G(Ej) iff P(Ei)>PR(Ej) ie g1=g2 iff p1=p2,

g1+g2= g3 iff p3=p1+p2,

G(Ei<G(Ej) iff P(Ei)>PR(Ej)

G(0,0)=(1,0,0)

G(1,0)=(0,1,0)

G(1/2, sqrt(3)/2)=(0,0,1)=

F(x=1/2,y=sqrt(3)/6))=(1/3,1/3,1/3)_(1/2, sqrt(3)/6) =

where on each vector, it is subject to the same constraints F-1{x,y,i} G(A)+G(B)+G(C)=1, G(A v B)=G(A)+G(B), G(sigma)=1, G(emptyset)=0 etc whenver G-1(x,y, i \in {1,,6})=F-1(x,y,{i,6}

for all of the 8 elements in the sigma algebra of each of the uncountably many vectors in the interior of each of the six simplexes of uncountably many vectors

and all elements F_i in the algebra of said vector in each in simplex, except omega, 0, G(

Such in addition every element of Δ^1, the unit one probability simplex, set of all two non non negative numbers which sum to one, are present and within the image of the function; described by triples like (0, p, 1-p) on the edges of the triangle in cartesian coordinates

**to, the unit 2 probability simplex**

**consisting of every triple of three real non-negative numbers, which sum to 1. Is the equilateral triangle, ternary plot representation using cartesian coordinates over a euclidean triangle bi-jective and convex hull. Do terms p[probability triples go missing.**

**I have been told that in the iso-celes representations (ie the marshak and machina triangle) that certain triple or convex combinations of three non -negative values that sum to one are not present.**

**Simply said, does there exist a bijective, homeomorphic (and analytic) function F(x,y)of two variables x,y, from the x-y plane to to the probability 2- simplex; delta2 where delta2, the set ofi each and every triple of three non negative numbers which sum to one <p1, p2, p3> 1>p1, p2 p3>=0; p1+p2+p3=1**

**F(x,y)=<p1, p2, p3> where F maps each (x,y) in dom(F) subset R^2 to one and only to element of the probability simplex delta2 subset (R>=o)^3; and where the inverse function, F-1 maps each and every element of delta 2**

**<p1, p2, p3>;p1+p2+p3 P1. p2. p3. >=0 , that is in the ENTIRE probability simplex, delta 2 uniquely to every element of the dom(F), the prescribed Cartesian plane.**

Apparently one generally has to use a euclidean triangle, with side lengths of one in Cartesian coordinates, often an altitude of one however is used as well according to the book attached attached, la

**st attachment p 169.****(which suggests that certain elements of the simplex will go missing there will be no pt in Dom (F), such F(x,y)=<p1,p2, p3> for some <p1,p2,p3> in S the probability simplex**

**is in-vertible and has a unique inverse, such that there exists no <p1, p2, p3> in the simplex such that there is no element (xi,yi)of dom(F) such that F(xi,yi)= <p1, p2, p3> in**

**F(x,y), that is continuous and analytic**

**map to every vector in the simplex, ie there exists no set of three non negative three numbers p1, p2 p3 where p1+p2 +p3=1 such that**

**ie for each of the nine F,**

**Where CODOM(F)=IM(F)=delta_2: {p(i)=<p_1i,p_2i,p_3i>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0}**

**where p(i( described a triple and i whose Cartesian index is i= (x,y), ie F(x,y)=p(i)<p_1i,p_2i,p_3i>_i).**

**and**

,

**CO-DOM(F)=IM(F)=delta_2: {p(i)=<p_1,p_2,p_3>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0\in [0,1]\forall (x1,x2,x3)\in [0,1**]

F(0,0)=(1,0,0)

F(1,0)=(0,1,0)

F(1/2, sqrt(3)/2)=(0,0,1)

(with a continuous inverse)he car-tesian plane, incribed within an equilateral triangle to the delta 2,

**coDOM(F)=IM(F)=delta_2: {p(i)=<p_1,p_2,p_3>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0\in [0,1]\forall (x1,x2,x3)\in [0,1]**

**where, no triple goes missing, and where delta 1, the unit 1 probability simplex subspace, (the set of all 2=real non negative numbers probability doubles which sum to one, described as triples with a single zero entry),**

**delta _1 subset IM(F)=codom(F)=Dela_2**

**and each probability value in [0,1] , that is each and every real number in [0,1] occurs infinitely times many for each of the p1-i, p2_2, p3_3 , on some such vector,**

**1. and one each degenerate double**

**2, And which contains, as a proper subset, the unit 1 probability simplex, delta 1 (set of all probability doubles)contained within the IM(F)=dom(F)=delta2; in the form of a set of degenerate triples, delta_1*, subset delta 2=IM(F)=codom(F) ( the subset of vectors in the unit 2 (triple) probability simplex with one and only one, 0, entry),**

**ie <0.6, 0.4,0>, <0, 0.6, 0.4>**

**3. where for each pi /evctor (degenerate triple) in the degenerate subset delta 1 * of delta 2; the map delta1*=delta 1 is the identity (that is no double goes missing). The unit 2 simplex (set of all real non negative triples= im(F) must contain along the edges of the equilateral, every element of delta 1, every set of two number which sum 1).**

**4. And where among-st these degenerate vectors in delta 1* (the doubles inscribed as triples with a single 0), (not the vertices), must contain, for each, and every of the two convex, combinations, or positive real numbers in the unit 1 probability simplex (those which sum to one) at each of them, at least three times, such that every real number value p in (0,1), such that :**

**p1 +1-p =1, occurs at least six times, among-st six distinct degenerate, double vectors <p1, p2,. p3}{i\in {1...6}**

**that for all p in (0,1)and there exists six distinct degenerate triple vectors mapped to six distinct points in the plane**

**5. in addition in must contain the unit 2 simplex as the sum of the entries in each triple.**

**ie among-st the triples <p1, p2, p3> in IM (F) it must be that \for reals, r, in (0,1) and for each possible value of p1+p2 assumes that value , infinitinely many times,**

**p2+p3 on a distinct vector assumes that value r in (0,1) infinitely many times.**

**p1+p3 must assume that value r in (0,1) infinitely many times, , Corresponding there must not exist some real value in (0,1) such that one of p1, p2 p3 assumes that value e, and moreover, not infintiely times, and but no sum value on some vector (ie element of F(p1+p2, p2+p3, p3+p1) that also assumes that value and infinitely times. The entire unit interval of values must for each such rin [0,1]and for each of three distinct sums in Fsimplex must be contained and assumed individuallyt infinitely many**

**6, Finally for every element of a 2or more distinct vectors such that the two elements (p1, p2 , p3) sumto one**

**such that for any given p1\in vector 1 , p2\in vector 2 ,p1+p2=1**

**for any given p1 in vector 1 p3 in vector 2, p1+p3=1**

**for any given p1 in vector 1 p1in vector 2, p1+p1=1**

such that for any given p2\in vector 1 , p2\in vector 2 ,p2+p2=1

for any given p2 in vector 1 p3 in vector 2, p2+p3=1 ,

for any given p3 in vector 1 p3 in vector 2, p3+p3=1

6, Finally for every 3 elements (,p1 p2 , p3, p1, +p2, p3+p1, p2+ p3) in 2 or 3or more distinct vectors v1, v2, v3, such that the three elements in the three distinct vectors,in sum to any of these numbers \forall n \in {\forall n\in {1....48}n/28,1, 4/3, 1.25, 1.5, 4/3. 1.75, 1.85, 2}, or such that or any 2 elements (p1, p2 , p3, p1 +p2 p1+p3, p2+p3) in common vector v1 and another for all possible other elements in (p1, p2 , p3, p1 +p2 p1+p3, p2+p3) in distinct vector v3 sum to those values these must be present

Moreover it must also at least extend to any given 4/5/6/7/8 /9/10distinct elements of (p1, p2 , p3, p1 +p2 p1+p3, p2+p3) that sum to for all possible combinations of being in up to 10 distinct vectors, 9 distinct vectors two elements in common,,,,,,,,,,,,,,,,, such that for any such one of all such combinations there must be uncountable many versions of each element of p1, p2 , p3, p1 +p2 p1+p3, p2+p3) in each combination individually for each of the above sum values & for each of the above cardinalities of entries,.

More over the entire simplex must be present for each of foralll of the ten possible combinations or sum term number values,10

and for all r each different combinations of elements that sum to that those values in (p1, p2 p3, p1+p2.....)

and for each of the distinct number of distinct vectors that could be present in that sum upl to ten

and, that could sum to each of all those approximately 70 distinct values. that could to those values, and for each of the different number of terms in each sum,. the entire simplex must be present and every such value in [0,1[ must be assumed individually for every term in every

(1)for each of the term length sum (any given 2 that sum to one, any given three which sum to one, any given four that sum one m any given five which sum to one, any three which sum to 2, any given four which sum to 2 any five which sum to 2, any given four which sum to three, any five which sum to 3

(2)for all of the 70 or so , values mentioned d

(3)for all number of distinct vectors of which those terms are in that sum are associated

(4) for all 6 distinct terms types of in the sum p2 p3, p1+p2.....)

forall n \in {\forall n\in {1....48}n/28,1/2, 2/3, 1,1.125, 4/3, 1.25, 1.5, 5/3. 1.75, 1.877,11/6, 2,2.25, 2.33, 2.5, 2.66, 2.75, 3, 3.25, 3.33 ,3.5,3.666.3.75, 4, 3.333, 4.5, 4.666, 5, 5.5, 6, 6.5, 7 7.333, 7.5, 7,666, 8, }

IE there vcant be any

**GAPS** elements elements such that in four or five distinct vectors with no elments in common

, three or four distinct vectors, two elements in a common vector,the other three/2 being in distinct vectors when there are fouir elements

three distinct vectors, with two elements in two common vectors, or three elements in one vector common vector, and two and the other two in either one or two common vectors and the other elements or in 2 elements in one common vector and one in a common vector, 2 distinct vectors with 2 elements common to each of either one or /two of the vectors, 2 vectors with 3 elements in one vectors and 2 in the other

n a distinct vectors,

such p1 vector 1 +p2 in vector 2 +p3 in vector 3=1

such p1 vector 1 +p3 in vector 2 +p2 in vector 3=1

such p1 vector 1 +p2 in vector 2 +p2 in vector 3=1

such p1 vector 1 +p3 in vector 2 +p2 in vector 3=1

such p1 vector 1 +p1 in vector 1 +p1 in vector 2

such p1 vector 1 +p1 in vector 1 +p3 in vector 2

such p1 vector 1 +p1 in vector 1 +p2 in vector 2

such p1 vector 1 +p1 in vector 1 +p2 in vector 3

such p1 vector 1 +p1 in vector 2 +p2 in vector 3

such p1 vector 1 +p1 in vector 3 +p2 in vector 3

such p1 vector 1 +p3 in vector 1 +p2 in vector 3

such p1 vector 1 +p2 in vector 1 +p2 in vector 3

such p1 vector 1 +p3 in vector 1 +p2 in vector 3=1

such p1 vector 1 +p2 in vector 2 +p2 in vector 3=1

such p1 vector 1 +p2 in vector 3 +p3 in vector 3=1

such p1 vector 1 +p1 in vector 2 +p1 in vector 3=1

such p1 vector 1 +p1 in vector 2 +p1 in vector 3=1

such p2 vector 1 +p2 in vector 2 +p2 in vector 3=1

such p3 vector 1 +p3 in vector 2 +p3 in vector 3=1

such p3 vector 1 +p3 in vector 1 +p3 in vector 3=1

such p3 vector 1 +p3 in vector 2 +p3 in vector 2=1

such p3 vector 1 +p3 in vector 3 +p3 in vector 3=1

such p3 vector 1 +p3 in vector 2 +p3 in vector 2=1

such p3 vector 1 +p3 in vector 3 +p3 in vector 3=1

such p2 vector 1 +p1 in vector 2 +p3 in vector 3=1

such p2 vector 1 +p1 in vector 2 +p1 in vector 3=1

such p2 vector 1 +p3 in vector 2 +p2 in vector 3=1

such p2 vector 1 +p2 in vector 2 +p2 in vector 2=1

such p1 vector 1 +p2 in vector 1 +p2 in vector 2=1

such p1 vector 1 +p2 in vector 1 +p3 in vector 3=1

such p1 vector 1 +p2 in vector 1 +p3 in vector 3=1

such p1 vector 1 +p2 in vector 1 +p3 in vector 3=1

uch that for any given p1\in vector 1 , p2\in vector 2 ,p1+p2=1

for any given p1 in vector 1 p3 in vector 2, p1+p3=1

for any given p1 in vector 1 p1in vector 2, p1+p1=1

such that for any given p2\in vector 1 , p2\in vector 2 ,p2+p2=1

for any given p2 in vector 1 p3 in vector 2, p2+p3=1 ,

for any given p3 in vector 1 p3 in vector 2, p3+p3=1

**for any given p1 in vector 1 p1+p2 in vector 2 p1+(p1+p2)=1**

**for any given p1 in vector 1 p1+p3 in vector 2 p1+(p1+p3)=1**

**for any given p1 in vector 1 p2+p3 in vector 2 p1+(p2+p3)=1**

for any given p2 in vector 1 p1+p2 in vector 2; p2+(p1+p2)=1

for any given p2 in vector 1 p1+p3 in vector 2; p2+(p1+p3)=1

for any given p2 in vector 1 p2+p3 in vector 2 p2+(p2+p3)=1

for any given p3 in vector 1 p2+p3 in vector 2 p3+(p2+p3)=1

for any given p3 in vector 1 p2+p3 in vector 2 p3+(p2+p3)=1

for any given p3 in vector 1 p2+p3 in vector 2 p3+(p2+p3)=1

**for any given p1+p2 in vector 1 p1+p2 in vector 2 p1+p2)+(p1+p2)=1**

**for any given p1+p2 in vector 1 p1+p3 in vector 2 p1+p2)+(p1+p3)=1**

**for any given p1+p2 in vector 1 p2 +p3in vector 2( p1+p2)+(p2+p3)=1**

**for any given p2+p3 in vector 1 p3 +p1in vector 2 (p2+p3)+(p3+p2)=1**

**for any given p2+p3 in vector 1 p2 +p3in vector 2**

**for any given p1+p3 in vector 1 p3+p1in vector 2**

**for any given p2+p1 in vector 1 p3 +p2in vector 2**

**for any given p2+p1 in vector 1 p3 in vector 2**

such that for any given p2\in vector 1 , p1\in vector 2 ,p1+p2=1

for any given p1 in vector 1 p2 in vector 2, p1+p3=1

for any given p1 in vector 1 p3in vector 2, p1+p1=1

plus each of the

such that for any given p3\in vector 1 , p2\in vector 2 ,p1+p2=1

for any given p3 in vector 1 p1 in vector 2, p1+p3=1

for any given p3 in vector 1 p3n vector 2, p1+p1=1

**for all of the 36 or distinct sombination such that p1 in one vector and one of (p1, p2, p3,p1+p2 p2+p3, p3+p1) on a disitnct vector sum to one , for all reals in [0,1]each of these combination must obtain infinitely many times, each oif these combinations must be surjective/ bijective with regard to the unit 1 probability simplex, and for each such combination listed, each of the two terms must assume individually ,for each of the uncountably many real values i m [0,1],, uncountably many times.**

**for each of the way, and each of the 36 values in each of that one the 36 and obtain infinitely many time, assume each value within in [0,1] infinitely many time,, and**

**In additions**

**p2\in vector 2 , p3\in vector 2**

**, p3 p1**

**, p3+p1=1, p2+p1=1, p3+p2=1,**

**p2+p3=1**

**where these are entries on distinct vectors each of these entries must contain infinitely many distinct probability**

**to either 1, 2, 3, or the**

**Moreover, it must that both horizontally and vertically, the entire set of element in the sum to 2 non negative simplex**

**Where CODOM(F)=IM(F)=delta 1, it must be such that the for bijective function G which for each element of Im (F) , G: maps <p1,p2, p3> \in IM (F)=delta 2 ,to G(<p1+p2, p2+p3, p3+p1)>**

**, ie F(x,y)=<p1,p2, p3) then G[(x,y))=G(F-1(p1,p2, p3)])=<p1+p2, p2+p3, p1+p3>**

**such that G is also a bi-jective and analytic diffeomorphism onto**

**delta_2: {p(i)=<p_1i,p_2i,p_3i>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=2, 1>=p_1i,x_p2i,x_3_i>=0}, the set of all three real number that sum to 2.**

**ie dom (G)=dom (F) and and thus for any<p1, p2 p3,> domain we compute F-1(,p1, p2, p3) to get the cartesian coordinates of that vector and feed them into G, where G computes the probabilities of the disjunctive events**

**(unit 2 probability simplex)**

**that delta_2: {p(i)=<p_1i,p_2i,p_3i>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=2, 1>=p_1i,x_p2i,x_3_i>=0}**

**in these sums in this sense.**

**Moreover, it also be the case, that there must exist**

**, p2+p3, p1+p3**

**see (4) below**

**i=(x,y), and i(2)=(x2,y2); . i(3)=(x3, y3), i(4)=(x4, y4), i(5)=(x5, y5), i(6)=(x6,y6);**

**(x6,y6)\neq (x5, y5)\neq (x4, y4)\neq(x3,y3)\neq(x2,y2)\neq (x,y)**

**where**

**F(x2, y2)= p(i(2)=<p_1(i2)=p, p_2(i2)=0, p_3_(i2)=1-p>{i2}; p1+p3=1; 0>(p3, p1)<1, p2=0, p1=p**

**F(x3, y3)= p(i(3)=<p_1(i3)=p, p_2(i3)=1-p, p_3_(i3)=0>^{i3}; 0>(p1, p2) <1, p1+p2=1, p3=0, p1=p**

**F(x4, y4)= p(i(4)=<p_1(i4)=0, p_2(i4)=p, p_3_(i4)=1-p>{i4); 0>(p3, p2) <1, p3+p2=1, p1=0, p2=p**

**F(x5, y5)= p(i(5)=<p_1(i5)=1-p, p_2(i5)=p, p_3_(i5)=0>^{i5) 0>(p1, p2) <1, p1+p2=1, p3=0, p2=p**

**F(x6, y6)= p(i(6)=<p_1(i6)=1-p, p_2(i6)=0, p_3_(i6)=p>{i6) 0>(p1, p3) <1, p1+p3=1, p2=0, p3=p**

**F(x, y)= p(i)=<p_1(i)=0, p_2(i)=1-p, p_3_(i)=p>{i);**

**0>(p3, p2) <1; p3+p2=1, p1=0, p3=p**

**where for all i\in {i,i(1)...i(5)} and p_t1(m)+p_t2(m) +pt3(m)1 etc**

,p1(i)+p2(i) +p3(i)=1

p1(i2)+p2(i2) +p3(i2)=1,

such that p_j_i(2)\in p(i(2); p_j_i(2)\=p

\oplus p2 oplus p3 =0, and

**where ONE and only of p1, p2, p3 =0, where that precise values occurs at least twice in the first entry of two distinct vectors,**

**<0.6, 0.4, 0>**

**<0.6, 0, 0.4>, at least twice in the second entry, p2, here p2=0.6**

**<0, 0.6, 0.4)**

**<0.4, 0.6, 0)**

**and in the third entry p3, p3=0.6; at least twice**

**<0.4,6, 0.6)**

**<0, 0.4, 6)**

**. In other words \forall (p1)\in (0,1) and for all p2=in \in (0,1), amd for all p3 \in (0,1), where p2+p3=1, there exists two distinct vectors (if only in name) such that <p1=0, p2, p3=1-p2), and < p1=0, p2=1-p3, p3>**

**there exists**

**\forall p\in [0,1] ; 0<p1, p2<1; <p, p2=1-p>**

**possible degenerate triple combinations, for each degenerate convex combination in for all real positive p ; 0<p<1 p, 1-p**

**<0.6, 0.4, 0> <0.4, 0.6, 0> <0.6, 0.4, 0>, <0, 0.6, 0.4)**

**[delta_1* ]subset delta2=IM(F)=codom(F)= {p(i)=<p_1,p_2,p_3>_i;**|\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0,

**& \exists in p(i), one and only one(p2_i, p1_i, p3_i)=0; where the other two entries \neq 0, s.y1< p1 p2>0}**

**for all convex combinations in delta 1 , all possible probability doubles, tuples element of [0,1]^2, of non negative real numbers which sum to 1**

**where map G(delta1*)=delta1 is the identity**

or some subset of I^2\subset R^2 to the unit probability simplex, (the triangle simplex of all triples of non-negative numbers <=1, which sum to one.?

Are such functions convex, that those which use absolute bary-centric coordinates over the probability simplex, when defined over an equilateral triangle with unit length in the Cartesian plane.

seehttps://en.wikipedia.org/wiki/Affine_space#Affine_coordinates

I presume that such function are hardly homogeneous in that infinitely many possitive triples will not be present?

F:I^2, to {<x_1,x_2,x_3>_m; x1+x2+x3=1, (x_1,x_2,x_3)\in [0,1]\forall (x1,x2,x3)\in [0,1]}

from the set of all or triples {<x_1,x_2,x_3>_m; x1+x2+x3=1, (x_1,x_2,x_3)\in [0,1]\forall (x1,x2,x3)\in [0,1]} to a unique index m,\in

**I^2, a real interval in the cartesian plane?****dom(F):[0,1]\times[0,srt(3)/2]**

**IM(F)=F: {p(i)=<p_1,p_2,p_3>_i; |\forall p(i)\in [0,1]^3, s.t: p1_i+p2_i+p3_i=1, 1>=p_1i,x_p2i,x_3_i>=0\in [0,1]\forall (x1,x2,x3)\in [0,1]}**

**where**

**F(0,0)=(1,0,0)**

**F(1,0)=(0,1,0)**

**F(1/2, sqrt(3)/2)=(0,0,1)**

**F(x=1/2,y=sqrt(3)/6))=(1/3,1/3,1/3)_(1/2, sqrt(3)/6) =**

**ie x=2p2+p3]/2,= [2 times 1/3 +1/3]/=1/2**

**y=srt(3)/2-sqrt(3)/2p1-sqrt(3)/2 times p2= sqrt(3)/2*(p3)= sqrt(3)/2*(1/3)=sqrt(3)/6**

**i=(x,y)=F-1(<p1i,p2i,p3i>_i=(x,y))= <x=[2p2+p3+1]/2,y= p3 *[sqrt(3)/2]]**

**, ill have to check the properties there a lot of other roles that it has to fulfill then just this.**

**Where in addition, every no value of x1+x2, x2+x3, x3+x1 can be missing these must assume each value in [0,1], prefererably infinitely many if positive and <1, and cannot assume a value, that is not assumed by one of the x1,x2, x3, somewhere in the structure,**

**Preferably this must property contain the unit 1 simplex, as a function x1, x2+x3, where every convex combination which sum to one, of two values must be assumed, by x1, 1-x, on distinct vectors <x1,x2,x3>m**

**x2, 1-x2=x1+x3, <x1,x2,x3>m_1 ,m_1\neq m**

**x3,1-x3 =x2+x3=<x1,x2,x3_m2, m2\neq m1\neq m,**

**There also cannot be any mismatched between element of the domain on distinct vectors, ie diagonal or vertical sums, where any two of them sum to one, any three of that sum to 1, or 2,**

<

**0.6**, 0.25, 0,15> <

**0.4**, 0.32, 0.28**>**<

**0.26**, 0.4,**0.34**><0.3

**0.4**,**0.3**><

**0.26**, 0.38,**0.36**> <0.35, 0.35, 0.3>, <0.26,0.4, 28>I presume if its convex it would contain the doubly stochastic matrices or the permutation matrics

,

<

**0.7,**0.25, 0,15> <

**0.8**, 0.32, 0.28> <

**0.5**, 0.32, 0.28> must be a vectors <0.3=1-0.7x1, 0.5=1-x2=0,5, x1=1-0.8=0.2) and conversely for <x1,x2,x3> there must be triad of three distinct vectors, such that one elements =1-x1, , another =1-x2, and another =1-x3

<x1,x2,x3, >

**<y1,y2,y3>, where one of y1,y2,y3, = 1-x1, one of z1,z2,z3, =1-x2,**

**<z1,z2,z3>**

**there must be distinct vectors such that <x1,x2,x3>, x1=25+0.32,**

**as well for x2, x3, x1+x2, x3+x2, x1+x3,**

**and which sum to 0.15+0.28, and common vectors, where all of the six events, or rather 12 events , whose collective sum <= 1, lie on a common vector as atomic events <x1,x2,x3> or disjunctive events <x1+x2,x2+x3, x3+x1>**

**ie a vectors <0.4, 0.25, 0.35>, and one where <x1=0.4, x2, x3> where x1+x2=0.6**

**< 0.4, 15, 0.45>, <0.6, 0.28,0.12>**

**<x1,x2,x3> where x1+x2=0.4**

**, any 'two sums';, three, sum of two elements, to one, or any three sum sum to one**

**, or three elements of distinct vectors which sum to 2,**

**and the set of three non positive numbers which sum to 2, as s**

**Where m denote a Cartesian pair of points in the x,y, plane which uniquely denotes a specific vector, built over an equilateral triangle in Cartesian coordinates,**

**and with unit length in side,in Cartesian coordinates**

**-where this is distance in Cartesian coordinates (x,y) in euclidean norm of each Cartesian coordinate probability vectors vertex = F-1(1,0,0),F-1(0,1,0),F-1(0,0,1)=1, where the respective euclidean norm in probability coordinates is clearly sqrt (2) sqrt sqrt(1-0)^2+ (1-0)^2+(0-0)^2)in**

**sqrt (2) in probability coordinates, in 2- norm,1, in 1 norm,**

**distance from the triangle center/circum-centre and vertexes,**(the Cartesian coordinates of the mid spaced probability vector (1/3, 1,3, 1.3)whose distance from each vertex as a euclidean norm in probability =2/3=equal to the 1-norm distance between value in the triple and its relevant vertex)=2/3, where the overall 1-norm difference in probability between the cent-roid and each vertex =4/3,

**= 1/sqrt (3), in Cartesian coordinates in euclidean norm,**

**all three altitudes=medians (distance from each vertex in Cartesian coordinates, to center of each opposing side of the triangle)-in 2-norm again=**

**=**,sqrt(3)/2

**the probability vertices whose Im(F)=(1,0,0),(0,1,0),(0,0,1) whose untoward cartesian coordinates are given above.**

**and the three, apothem**(2-norm distance from the cir-cum center, the Cartesian coordinates (1/2,sqrt(3)/6) of the centroids/probability vector, (1/3,1.3, 1.3),) and the Cartesian coordinates of the mid point of each side of the equilateral triangle,

**= 1/(2 * sqrt(3))**

**where the Centro id (1/3,1/3,1/3 )is the vector in n simplex, entries are just the average , n-pt average of the unit (the only vector with three values precisely the same, and the sums precisely the same 2,3,2.3,2,3)**

**mid probability vector all entries 1/n here 1/3, whose Cartesian coordinate are the circumcentre of the triangle, the point were all three medians cross, (ie the Cartesian point equidistant from each vertex.**

**that being the circumcentre , (1/2, sqrt(3)/6) =in 2-norm of the (the pt whose probability coordinates are just the average for an n simplex of a unit vector (1/n, 1/n,1.n)**

**denoting the distance between the cen are**

**F-1(1/n, 1/n, 1/n) here F-1(1/3, 1.3, 1.3)**

**probability/bary-centric coordinates, with side lengths, between the vertics of sqrt (2)**

**length sqrt(2) in probability coodinates (euclidean norm ) ie sqrt ([1-0]^2+[0-1)^2+ [0,-0,]^2)=sqrt(2), and have side lengths =1 in cartesian coordinates, with distance from the centre 1/sqrt (3), andall median/altitudes /angular bisectors/perpendicular bisectors=sqrt(3)/2, area=sqrt(3)/4 and apothem=1/2sqrt(3)**

**F(x,y)=<x-1,x_2,x_3>m=(x,y)**

Given a

_{1}, a_{2}, ..., a_{n}positive real numbers, and definedp

_{k }= a_{k }\prod { i = 1 to n, i <> k} [(a_{i})^{2 }- (a_{k})^{2}]how to prove that \sum \frac{1}{p

_{i}} is positive?I had an idea of proof, but not sure it would work....

I have the idea written in the attached .png file.

EDIT: See the .png file here.

The quadratic term of a Taylor expansion of a multivariate scalar valued function can be expressed in terms of the Hessian. Is there a similar form for vector valued functions, in the sense that all partial derivatives can be arranged in a matrix or tensor?

Consider the Lyapunov equation given by A'P+PA+I=0, where I is the identity matrix, A is Hurwitz, and P is a positive definite and symmetric n by n matrix. How can we find an upper bound to the Frobenius norm of P, i.e., ||P||_F, using the eigenvalues of A ?

I was able to find a relationship with eigenvalues of P(see attached picture) but I need to find out relation with eigenvalues of A.

Any idea how should I proceed?

Is the series in the picture convergent? If it is convergent, what is the sum of the series?

(1) How can we find the partial sum of

**n**instantly ?^{1000}(2) is there is a simple method to find partial sum of the sequence

**f(n)**?(3) Any general method to compute partial sum of sequence ?

(4) What is the value of Method , if we have good approximation for all differentable sequence ?

When performing CSP using the toolbox ( from the link http://sccn.ucsd.edu/wiki/Plugin_list_process ) , there are two places where eigen value decomposition is occurring . In the first one , the eigen values have been sorted in descending order but in the second eigen decomposition , it is not . However , the paper " Optimal Spatial Filtering of Single Trial EEG During Imagined Hand Movement " describes in CSP section that the descending order is assumed during the decompositions throughout the section . Should eigen values in both the decompositions ( as per the CSP script ) be arranged in descending order only ? Any help is greatly appreciated . Thanks in advance

I has made proposition and prove that (f o f ')(x)= (f 'o f )(x) if f is additive real function and (f o f) (x)=f (x) but I still difficult get example non-trivial. Could you help me? example trivial is an identity function.

I apologize for the inconvenience this

We call local homeomorphism of R a function f:U--->R with: U open neighborhood of 0 \in R, f(0)=0, f injective continuous and open.

We identify two local homeomorphisms of R if and only if they coincide in a suitable neighborhood of 0.

We denote by LH the set of all equivalence classes of local homeomorphisms of R.

LH becomes a group when endowed with the operation of composition of functions.

I am interested in results describing the structure of the group LH.

The string detained between two points can sustain harmonic motion. At the string midpoint, the potential and kinetic energy are inverse, so that when the string is in the mid-line, the kinetic energy is 1 and the potential energy is 0. When the string is at the boundary the string stops for an instant, so the kinetic energy goes to zero while the potential energy is 1.

A node is defined as a point on a string where there is no movement possible, so that both the kinetic and potential energy are zero. The fixed-point theorem says if pitch is a real function defined on [0, 1], then there must be a fixed point on the interval.

Since the kinetic and potential energy is just the result of basic trig functions sin and cos, it seems clear to me then that wave reflection cannot occur at the string endpoints. The endpoints are fixed points which are in effect

*fulcrums*with a fixed-point position so that length L = 1 is a bound variable. The fulcrum allows the fundamental in the monochord to drive the string on the other side of a node, but the condition for wave reflection does not exist at the node.When a sin wave crosses zero there is no requirement that the point is fixed, so the boundary cannot simply be added to the wave function arbitrarily without changing the nature of Fourier analysis.

If the waves reflect at endpoints, do they also reflect at nodes that are not enpoints? Of course not! But then, in the 1/3 mode, what makes the middle wave where there are 4 nodes and 3 waves? Is the middle wave the reflection of 2 traveling waves between the two non-endpoint nodes?

The boundary condition for traveling wave reflection is 1, 0 , 1 which is clearly a false statement.

Significantly, the frequency and the wave length are bound by the string and not free variables subject to real analysis as continuous variables. Nodes and waves cannot add at the same point.

If physicists really think there are two traveling waves on a string moving in opposite directions that make a standing wave, but no one can see or demonstrate these waves, then maybe they have action-at-a-distance wrong, too. After all, the basic error is assuming frequency is continuous, and then using functions with free variables adjoined with arbitrary integers.

Greeting and salutation!

I have a initial value differential equation with a unknown parameter, how can i solve it With Matlab ODE solver or other software????

With Best Regards

Hamed

that means, I have only research keywords for 1500 research paper but I dont have the text of them or even the abstracts , so Can I use this co-word analysis or co-occurrence technique just for keywords?

thanks in-advance

*We know that Heine-Borel property and related theorems for topological vector spaces. Do we have similar notions for abelian topological groups? For example when a topological group has this property or not? Can you introduce me a reference about that?*I have a doubt regarding completeness of C[0, infinity) with respect to sup norm. Is the space Banach Space? Is it a Banach lattice?

For example, Circle is not a function. Can any one explain with this inverse and implicit function theorem?

This paper provides a simplified exposition (no real analysis) of the economic theory presented in the second part of my 1999 book,

*Axiomatic Theory of Economics*. It makes no mention of the first part of my book about the foundations of economics. In this question we will discuss my three-term system of formal logic, specifically with comparison to the attached paper by Steve Faulkner, which was posted in reply to another question that I recently asked.In Section 4.3 of my 1999 book I write:

*“The great crack in the foundation of mainstream logic where first-sense and third-sense truth are confused has been resolved. Whenever mainstream logic speaks of affirmation they refer to phenomena having been observed that conform to a definition (truth in the first sense) and whenever they speak of negation they refer to the impossibility of phenomena conforming to a definition (falsity in the third sense). The three senses of truth must be strictly separated…”*

The three sense of truth are defined in an earlier section of my book, but suffice it to say that I was not bothered so much by the paradoxes that Gödel addressed but by the fact that, if

*p*is impossible, the statement “some*p*are*q*” is false while the statement “all*p*are*q*” is true. This is absurd. If I told you that all red-headed Eskimos can foresee the future, a logician would have to admit that, within his science, this statement is true. But everybody else would denounce me as a lunatic: Eskimos do not have red hair and nobody – regardless of the color of their hair – can foresee the future. The logical truth value of my statement will not inspire anybody to travel to Alaska to find Sibyl the Eskimo with her flaming red hair.*“A new system of formal logic will now be introduced. The three terms of this system of logic are P for possible, I for impossible and M for maybe (similar to Zen Buddhism’s*mu

*.) Following are eleven logical relations concerning the definitions*p

*and*q

*. These statements are followed by a truth table which shows, in each of the four situations with which one could be presented when observing phenomena’s conformance to*p

*and*q

*, whether the statement affirms its possibility, its impossibility, or says nothing about that situation.”*

While I do not have space here to print the entire list of eleven logical relations, I will print the truth table for “

*p*is possible unless*q*is possible” to give a taste of what I am doing:Do phenomena conform to definition

*p*? T T F FDo phenomena conform to definition

*q*? T F T F*p*is possible unless

*q*is possible I P M M

I then use an example from Willard Quine’s

*Methods of Logic*(p. 196) to illustrate how my method works:*Premises:*

*1) The guard searched all who entered the building except those who were accompanied by members of the firm.*

*2) Some of Fiorecchio’s men entered the building unaccompanied by anyone else [unaccompanied by non-Fioreccio men].*

*3) The guard searched none of Fioreccio’s men.*

Using my system, by filling in a truth table with P (possible), I (impossible) and M (maybe), we can quickly determine if the statement, “Some of Fioreccio’s men are members of the firm” is proven. There is no room to print this here, but it is a sixteen-column truth table with four rows of P, I or M for each of the three premises and the relation, “people who work for Fioreccio.” Below this is another row labeled “result.”

*“Now, filling in an I wherever we see one, a P wherever we see one that is not dominated by an I, and an M only where no statement is made either way, we get the result.”*

This is in contrast to Dr. Quine’s method (p. 199), which only proves or disproves one statement at a time. I write:

*“From this result [the three-term truth table] one can test the truth of any conclusion one is interested in… If we were interested in knowing whether the statement ‘All of Fiorecchio’s men entered the building unaccompanied by non-Fiorecchio men’ is implied by the premises, we would need [elaborate what is needed that we do not know] so the conclusion is not proven; it is a maybe. This is a more insightful ‘maybe’ than we had before analysis, however, as we now know where our investigation must lead.”*

**REFERENCES**

Quine, W.V. 1982.

*. Cambridge, MA: Harvard University Press***Methods of Logic**Dear RG friends:

In two weeks time, I am all set to conduct a technical session on Analysis.

I plan to deliver a long lecture on "Fixed Point Theorems". Of course, Banach fixed point theorem is useful to establish the local existence and uniqueness of solutions of ODEs, and contraction mapping ideas are also useful to develop some simple numerical methods for solving nonlinear equations. Are there any other interesting science / engineering applications?

Kindly let me know! Thank you for the kind help.

With best wishes,

Sundar

What is the limsup and liminf of 1/n+(-1)^n of an alternating Sequence?

In my view Lim Sup is 1 and Lim inf is -1 for the given sequence.

In 1999 I published a book,

*.***Axiomatic Theory of Economics**Since then I have found that economists who have not read even the simplified exposition will invoke the name Kurt Gödel when dismissing my theory.

I know who Gödel is, but I do not see what the foundations of mathematics have to do with me. I rely only on widely accepted calculus and real analysis results that should be familiar to any practicing engineer. The antipathy I get from economists has nothing to do with number theory – most of them would be hard pressed to even define a prime – it is all about me stating my assumptions clearly before proving my theorems.

So my question is:

**How should I respond to people who invoke Gödel’s name when dismissing my work?**

I am reminded of Van Helsing holding up a cross to Dracula, except for economists it is Gödel’s Incompleteness Theorems that ward off the evil logician.

**Have other people at Research Gate faced similar criticism? How did you respond?**

FYI I am NOT a follower of Gerard Debreu. I have my own theory. Something else that I have noticed about economists is that they are incapable of recognizing that it is possible to have more than one axiomatic theory that purports to describe the same phenomena. I have found it impossible to disabuse economists of the belief that Debreu (who was parroting Bourbaki) fully defines the axiomatic method.

Economists claim that the practice of deductive logic rises or falls with the fortunes of this one man, regardless of what axioms the practitioner is using. I reply that, since Debreu lost all of his followers in 1974 when his theory went down in flames, accusing me (who was eight years old at the time) of having ever been a follower is actually a straw man attack.

I need these measurement for the diversity analysis of population of vectors

Consider the cubic equation:

$ t^3 = 3pt + 2 q \qquad (1)$.

We introduce two variables $u$ and $v$ linked by the condition

$ u+v=t\,$

and substitute this in the depressed cubic (1), giving

$u^3+v^3+(3uv-3p)(u+v)-2q=0 \qquad (2)\,.$

At this point Cardano imposed a second condition for the variables $u$ and $v$:

$3uv-3p=0\,$, ie $uv=p$.

As the first parenthesis vanishes in (2), we get $u^3+v^3=2q$ and $u^3v^3=p^3$. Thus $u^3$ and $v^3$ are the two roots of the equation

$ z^2 -2 qz + p^3 = 0\,.$

$ (z-q)^2 =q^2 - p^3=D$. Hence $z= q + \sqrt{q^2 - p^3} $. Denote by $a_1$ and $a_2$ two roots of $D$ and set $

**z**_k=q +a_k$.Solutions of equations $w^3=1$ are $1,e^{2\pi i/3},e^{-2\pi i/3}$.

Denote by $\underline{A}=\{u_1,u_2,u_3 \}$ and $\underline{B}=\{v_1,v_2,v_3\}$ solutions of equations $u^3=

**z_1**$ and $v^3=**z_2**.$Check that $u_k v_j \in \{p , p e^{2\pi i/3},p e^{-2\pi i/3} \}$. Set $p_1=p , p_2= p e^{2\pi i/3}$, and $p_3=p e^{-2\pi i/3}$.

In discussion with my students (Svetlik,Knezevic,Stankovic,Avalic), we prove the following:

Proposition 1.

The set $\underline{X}= \{u_k + v_j:1\leq k,j \leq 3

\}$ has $9$ elements if $q + \sqrt{q^2 - p^3} \neq 0 $ and six elements if $D=0$ and $q\neq 0$.

If $u_0\in A$, $v_0\in B$, then $\underline{X}= \{\omega^k u_0 + \omega^l v_0:k,l=0,1,2\}$ and

the points of $\underline{X}$ forms three (respectively two) equilateral triangles if $D\neq 0$(respectively $D=0$ and $q\neq 0$).

Presently, we did not find origin of this result in the literature.

What are possible generalizations of this results?

I would really appreciate if anyone can give me a formal citation for this. I know this is a standard problem for which I also have a proof. However this is requried as a part of a more complicated problem and it would be nicer for the writing if I can just simply give a citation.

If K and L are convex bodies whose radial functions have the same distribution function, i.e. equi-measurable, what can be said? In particular, does this mean that the two radial functions(of the sphere) are equal up to composition with some measure-preserving transformation? If so, does the convexity of the two bodies imply any regularity of this measure-preserving transformation of the sphere? If possible, how much regularity must the bodies possess to force this transformation to be a rotation or orthonormal linear transformation of the sphere?

we say Chebyshev wavelet family or basis and why ??

Let ||x||_1\leq ||y||_1. Is it possible to say ||x||_p\leq||y||_p for 1<p? In another way, the inequality in l1 is protect in lp or not?

I want to teach real analysis course this semester. I want to teach more about functional analysis and less about real analysis. I need a brief and new book. Could you please guide me?

This is motivated by a calculation using Fourier transforms of filters / mollifiers. Since it is such a classical question, I suspect there is a classical answer out there and would appreciate help satisfying my curiosity.

In the figure lines are on the real axis.

What I am interested in to prove that the left limit of the red interval is to the left of the left blue one and correspondingly for the right end.

I was thinking that we can prove it by the definition of the left limit and right limit but I stuck with in it.

Any suggestions to prove it mathematically will be highly appreciable.

Some nowhere differentiable functions are fractional differentiable and comply with the Hölder condition.

I need a counter example or proof to confirm this statement: The product of two divergent series may not be divergent.

The product here is Cauchy Product but not pairwise product (in that case is easy to say harmonic series).

By space of measurable functions, I mean L_0(m) where m is a non-atomic sigma-finite measure space.

I always wonder about correctness of this fundamental result which is used in most of the proofs in mathematics and how we can construct results without it.

I think I may have this but have not seen anything in the Literature.

I want to prove that if f is an increasing function on [a,b], then the function g(x)=f(x)+f(a+b-x) is decreasing on [a,(a+b)/2] and increasing on [(a+b)/2,b].

If yes, is the notion of Bernstein polynomial the same in both intervals.

I am looking for a list of classical spaces which are known to compactly embed into the space of measurable functions and any which are known NOT to compactly embed into L_0. L_0 is just the space of measurable functions over the interval (0,1) equipped with Lebesgue measure.

Assume the underlying measure is a probability measure. I think I've heard this is true but I could be wrong.

(The inequality is meant to hold for every sequence x_n converging to x.)

Please note that I did not mean >= or liminf, i.e. upper or lower semicontinuous.

I ask because this seems to allow one to replace compactness with weak-sequential-compactness(and weak-compactness for Banach spaces of measurable functions) in some arguments. For example, if X is such a space of measurable functions then any weakly-sequentially-compact subset will have the property that convergence in measure is equivalent to convergence in X.

In the paper by Hwa Kil Kim published in June 14, 2012. What is the meaning of (R^D) and the meaning of (J:(R^D)--->(R^D) is a matrix satisfying (

(J_v )_|_v) for all v in (R^D) ). The name of the paper is:Moreau-Yosida approximation and convergence of Hamiltonian systems on Wasserstein space, and it is on RG.

I.e. does the parameter plane explain real dynamics? Real dynamics of iterative methods are not studied briefly due to the (wrong?) belief that real dynamics are included in complex dynamics.