Displaying similar documents to “A fractional mean value theorem, and a Taylor theorem, for strongly continuous vector valued functions”

Cauchy Mean Theorem

Adam Grabowski (2014)

Formalized Mathematics

Similarity:

The purpose of this paper was to prove formally, using the Mizar language, Arithmetic Mean/Geometric Mean theorem known maybe better under the name of AM-GM inequality or Cauchy mean theorem. It states that the arithmetic mean of a list of a non-negative real numbers is greater than or equal to the geometric mean of the same list. The formalization was tempting for at least two reasons: one of them, perhaps the strongest, was that the proof of this theorem seemed to be relatively easy...

Fixed Points of n-Valued Multimaps of the Circle

Robert F. Brown (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

A multifunction ϕ: X ⊸ Y is n-valued if ϕ(x) is an unordered subset of n points of Y for each x ∈ X. The (continuous) n-valued multimaps ϕ: S¹ ⊸ S¹ are classified up to homotopy by an integer-valued degree. In the Nielsen fixed point theory of such multimaps, due to Schirmer, the Nielsen number N(ϕ) of an n-valued ϕ: S¹ ⊸ S¹ of degree d equals |n - d| and ϕ is homotopic to an n-valued power map that has exactly |n - d| fixed points. Thus the Wecken property, that Schirmer established...