Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
net
FORMALIZED MATHEMATICS
Volume 13 , 1
Number , 2005
University of Bialystok
Yasumasa Suzuki
Take, Yokosuka-shi
Japan
The papers [12], [13], [14], [3], [1], [11], [4], [2], [7], [5], [6], [10], [8], and [9]
provide the notation and terminology for this paper.
1. Hölder’s Inequality
c
2005 University of Bialystok
59 ISSN 1426–2630
Upload by wWw.chuyenhungvuong.net
60 yasumasa suzuki
2. Minkowski’s Inequality
References
[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.
[2] Czeslaw Byliński. The complex numbers. Formalized Mathematics, 1(3):507–513, 1990.
[3] Czeslaw Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164,
1990.
[4] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics,
1(1):35–40, 1990.
[5] Jaroslaw Kotowicz. Convergent sequences and the limit of sequences. Formalized Math-
ematics, 1(2):273–275, 1990.
[6] Jaroslaw Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics,
1(3):471–475, 1990.
[7] Jaroslaw Kotowicz. Real sequences and basic operations on them. Formalized Mathemat-
ics, 1(2):269–272, 1990.
[8] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125–
130, 1991.
[9] Konrad Raczkowski and Andrzej Nȩdzusiak. Real exponents and logarithms. Formalized
Mathematics, 2(2):213–216, 1991.
[10] Konrad Raczkowski and Andrzej Nȩdzusiak. Series. Formalized Mathematics, 2(4):449–
452, 1991.
[11] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.
[12] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11,
1990.
[13] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.
[14] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics,
1(1):73–83, 1990.
Upload by wWw.chuyenhungvuong.net