On distribution functions of ξ(3/2) n mod 1
|
|
- Victoria Esther Lane
- 6 years ago
- Views:
Transcription
1 ACTA ARITHMETICA LXXXI. (997) On distribution functions of ξ(3/2) n mod by Oto Strauch (Bratislava). Preliminary remarks. The question about distribution of (3/2) n mod is most difficult. We present a selection of known conjectures: (i) (3/2) n mod is uniformly distributed in [, ]. (ii) (3/2) n mod is dense in [, ]. (iii) (T. Vijayaraghavan []) lim sup{(3/2) n } lim inf n n {(3/2)n } > /2, where {x} is the fractional part of x. (iv) (K. Mahler [6]) There exists no ξ R + such that {ξ(3/2) n } < /2 for n =,, 2,... (v) (G. Choquet [2]) There exists no ξ R + such that the closure of {{ξ(3/2) n }; n =,, 2,...} is nowhere dense in [, ]. Few positive results are known. For instance, L. Flatto, J. C. Lagarias and A. D. Pollington [3] showed that lim sup{ξ(3/2) n } lim inf n n {ξ(3/2)n } /3 for every ξ >. G. Choquet [2] gave infinitely many ξ R for which /9 {ξ(3/2) n } /9 for n =,, 2,... R. Tijdeman [9] showed that for every pair of integers k and m with k 2 and m there exists ξ [m, m + ) such that {ξ((2k + )/2) n } for n =,, 2,... 2k The connection between (3/2) n mod and Waring s problem (cf. M. Bennett []), and between Mahler s conjecture (iv) and the 3x + problem (cf. [3]) is also well known. 99 Mathematics Subject Classification: K3. This research was supported by the Slovak Academy of Sciences Grant 227. [25]
2 26 O. Strauch In this paper we study the set of all distribution functions of sequences ξ(3/2) n mod, ξ R. It is motivated by the fact that some conjectures involving a distribution function g(x) of ξ(3/2) n mod may be formulated as in (i) (iv). For example, the following conjecture implies Mahler s conjecture: If g(x) = constant for all x I, where I is a subinterval of [, ], then the length I < /2. The study of the set of distribution functions of a sequence, still unsatisfactory today, was initiated by J. G. van der Corput []. The one-element set corresponding to the notion of asymptotic distribution function of a sequence mod was introduced by I. J. Schoenberg [8]. Many papers have been devoted to the study of the asymptotic distribution function for exponentially increasing sequences. H. Helson and J.-P. Kahane [4] established the existence of uncountably many ξ such that the sequence ξθ n does not have an asymptotic distribution function mod, where θ is some fixed real number >. I. I. Piatetski-Shapiro [7] characterizes the asymptotic distribution function for the sequence ξq n mod, where q > is an integer. For a survey, see the monograph by L. Kuipers and H. Niederreiter [5]. In Section 2, we recall the definition of a distribution function g and we define a mapping g g ϕ associated with a given measurable function ϕ : [, ] [, ]. The formula defining g g ϕ was used implicitly by K. F. Gauss for ϕ(x) = /x mod in his well-known problem of the metric theory of continued fractions (g ϕ is given e.g. in [5, Th. 7.6]). The induced transformation between derivatives g g ϕ is the so-called Frobenius Perron operator. In Section 3, choosing ϕ(x) as f(x) = 2x mod and h(x) = 3x mod, we derive a functional equation of the type g f = g h, for any distribution function g of ξ(3/2) n mod. As a consequence we give some sets of uniqueness for g, where X [, ] is said to be a set of uniqueness if whenever g = g 2 on X, then g = g 2 on [, ], for any two distribution functions g, g 2 of ξ(3/2) n mod (different values of ξ R, for g, g 2, are also admissible). From this fact we derive an example of a distribution function that is not a distribution function of ξ(3/2) n mod for any ξ R. We also conjecture that every measurable set X [, ] with measure X 2/3 is a set of uniqueness. An integral criterion for g to satisfy g f = g h is also given. In Section 4, we describe absolutely continuous solutions g of functional equations of the form g f = g and g h = g 2 for given absolutely continuous distribution functions g, g 2. In Section 5, we summarize the examples demonstrating all the above mentioned results. 2. Definitions and basic facts. For the purposes of this paper a distribution function g(x) will be a real-valued, non-decreasing function of the
3 Distribution functions of ξ(3/2) n mod 27 real variable x, defined on the unit interval [, ], for which g() = and g() =. Let x n mod, n =, 2,..., be a given sequence. According to the terminology introduced in [5], for a positive integer N and a subinterval I of [, ], let the counting function A(I; N; x n ) be defined as the number of terms x n, n N, for which x n I. A distribution function g is called a distribution function of a sequence x n mod, n =, 2,..., if there exists an increasing sequence of positive integers N, N 2,... such that A([, x); N k ; x n ) lim = g(x) for every x [, ]. k N k If each term x n mod is repeated only finitely many times, then the semiclosed interval [, x) can be replaced by the closed interval [, x]. Every sequence has a non-empty set of distribution functions (cf. [5, Th. 7.]). A sequence x n mod having a singleton set {g(x)} satisfies A([, x); N; x n ) lim = g(x) for every x [, ] N N and in this case g(x) is called the asymptotic distribution function of a given sequence. Let ϕ : [, ] [, ] be a function such that, for all x [, ], ϕ ([, x)) can be expressed as the union of finitely many pairwise disjoint subintervals I i (x) of [, ] with endpoints α i (x) β i (x). For any distribution function g(x) we put g ϕ (x) = g(β i (x)) g(α i (x)). i The mapping g g ϕ is the main tool of the paper. A basic property is expressed by the following statement: Proposition. Let x n mod be a sequence having g(x) as a distribution function associated with the sequence of indices N, N 2,... Suppose that each term x n mod is repeated only finitely many times. Then the sequence ϕ({x n }) has the distribution function g ϕ (x) for the same N, N 2,..., and vice versa every distribution function of ϕ({x n }) has this form. P r o o f. The form of g ϕ (x) is a consequence of A([, x); N k ; ϕ({x n })) = i A(I i (x); N k ; x n ) and A(I i (x); N k ; x n ) = A([, β i (x)); N k ; x n ) A([, α i (x)); N k ; x n ) + o(n k ). On the other hand, suppose that g(x) is a distribution function of ϕ({x n }) associated with N, N 2,... The Helly selection principle guarantees a suit-
4 28 O. Strauch able subsequence N n, N n2,... for which some g(x) is a distribution function of x n mod. Thus g(x) = g ϕ (x). It should be noted that if all of the intervals I i (x) are of the form [α i (x), β i (x)), then o(n k ) = and the assumption of finiteness of repetition is superfluous. In this paper we take for ϕ(x) the functions f(x) = 2x mod and h(x) = 3x mod. In this case, for every x [, ], we have g h (x) = g( with inverse functions and g f (x) = g(f (x)) + g(h 2 f (x) = x/3, h 2 (x)) + g(f2 (x)) g(/2), (x)) + g(h 3 (x) = x/2, f2 (x) = (x + )/2, (x)) g(/3) g(2/3), (x) = (x + )/3, h 3 (x) = (x + 2)/3. 3. Properties of distribution functions of ξ(3/2) n mod. Piatetski- Shapiro [7], by means of ergodic theory, proved that a necessary and sufficient condition that the sequence ξq n mod with integer q > has a distribution function g(x) is that g ϕ (x) = g(x) for all x [, ], where ϕ(x) = qx mod. For ξ(3/2) n mod we only prove the following similar property. Theorem. Every distribution function g(x) of ξ(3/2) n mod satisfies g f (x) = g h (x) for all x [, ]. P r o o f. Using {q{x}} = {qx} for any integer q, we have {2{ξ(3/2) n }} = {3{ξ(3/2) n }}. Therefore f({ξ(3/2) n }) and h({ξ(3/2) n }) form the same sequence and the rest follows from the Proposition. The above theorem yields the following sets of uniqueness for distribution functions of ξ(3/2) n mod. Theorem 2. Let g, g 2 be any two distribution functions satisfying (g i ) f (x) = (g i ) h (x) for i =, 2 and x [, ]. Set I = [, /3], I 2 = [/3, 2/3], I 3 = [2/3, ]. If g (x) = g 2 (x) for x I i I j, i j 3, then g (x) = g 2 (x) for all x [, ]. P r o o f. Assume that a distribution function g satisfies g f = g h on [, ] and let J i, J j, J k be the intervals from [, ] described in Figure.
5 Distribution functions of ξ(3/2) n mod 29 x J J 2 J 3 J 4 /3 2/3 J 2 J 4 J 6 J 3 J /2 J J 3 J 5 J 2 y (x) f (x) h 2 (x) f 2 (x) 3 (x) /5 3/5 /3 2/3 Fig. There are three cases of I i I j.. Consider first the case I 2 I 3. Using the values of g on I 2 I 3, and the equation g f = g h on J, we can compute g( (x)) for x J. Mapping x J to x J 2 by using (x) = f (x ), we find g(f (x)) for x J 2. Then, by the equation g f = g h on J 2 we can compute g( (x)) for x J 2; hence we have g(f (x)) for x J 3, etc. Thus we have g(x) for x I. 2. Similarly for the case I I In the case I I 3, first we compute g(/2) by using g f (/2) = g h (/2), and then we divide the infinite process of computation of g(x) for x I 2 into two parts: In the first part, using g(y), for y I I 3, and g f = g h on [, ], we compute g( 2 (x)) for x J. Mapping x J x J 2 by 2 (x) = f (x ) and employing g f = g h we find g( 2 (x)) for x J 2. In the same way this leads to g(f 2 ) on J 3, g( 2 ) on J 3, g(f ) on J 4, g( 2 ) on J 4, and so on.
6 3 O. Strauch Similarly, in the second part, from g on I I 3 and g f = g h on [, ] we find g( ) on J, g(f2 ) on J 2, g( 2 ) on J 2, g(f ) on J 3, g( 2 ) on J 3, etc. In both parts these infinite processes do not cover the values g(2/5) and g(3/5). The rest follows from the equations g f (/5) = g h (/5) and g f (4/5) = g h (4/5). Next we derive an integral formula for testing g f = g h. Define F (x, y) = {2x} {3y} + {2y} {3x} {2x} {2y} {3x} {3y}. Theorem 3. A continuous distribution function g satisfies g f = g h on [, ] if and only if \ \ F (x, y) dg(x) dg(y) =. P r o o f. Let x n, n =, 2,..., be an auxiliary sequence in [, ] such that all (x m, x n ) are points of continuity of F (x, y), and let c X (x) be the characteristic function of a set X. Applying c [,x) (x n ) = c (xn,](x), we can compute \ ( N c N f ([,x))(x n ) N 2 c N ([,x))(x n )) dx where n= n= F f,h (x, y) = max(f(x), h(y)) + max(f(y), h(x)) max(f(x), f(y)) max(h(x), h(y)) = N 2 N m,n= F f,h (x m, x n ), = 2 ( f(x) h(y) + f(y) h(x) f(x) f(y) h(x) h(y) ). Applying the well-known Helly lemma we have \ \ \ (g f (x) g h (x)) 2 dx = F f,h (x, y) dg(x) dg(y) for any continuous distribution function g. Here 2F f,h (x, y) = F (x, y). 4. Inverse mapping to g (g f, g h ) Theorem 4. Let g, g 2 be two absolutely continuous distribution functions satisfying (g ) h (x) = (g 2 ) f (x) for x [, ]. Then an absolutely continuous distribution function g(x) satisfies g f (x) = g (x) and g h (x) = g 2 (x)
7 Distribution functions of ξ(3/2) n mod 3 for x [, ] if and only if g(x) has the form g(x) = Ψ(x) for x [, /6], Ψ(/6) + Φ(x /6) for x [/6, 2/6], Ψ(/6) + Φ(/6) + g (/3) Ψ(x 2/6) + Φ(x 2/6) g (2x /3) + g 2 (3x ) for x [2/6, 3/6], 2Φ(/6) + g (/3) g (2/3) + g 2 (/2) Ψ(x 3/6) + g (2x ) for x [3/6, 4/6], Ψ(/6) + 2Φ(/6) + g (/3) g (2/3) + g 2 (/2) Φ(x 4/6) + g (2x ) for x [4/6, 5/6], Ψ(/6) + Φ(/6) + g (/3) + Ψ(x 5/6) Φ(x 5/6) g (2x 5/3) + g 2 (3x 2) for x [5/6, ], where Ψ(x) = T x ψ(t) dt, Φ(x) = T x φ(t) dt for x [, /6], and ψ(t), φ(t) are Lebesgue integrable functions on [, /6] satisfying ψ(t) 2g (2t), φ(t) 2g (2t + /3), 2g (2t) 3g 2(3t + /2) ψ(t) φ(t) 2g (2t + /3) + 3g 2(3t), for almost all t [, /6]. P r o o f. We shall use a method which is applicable for any two commuting f, h having finitely many inverse functions. The starting point is the set of new variables x i (t): x (t) := f h f(t) = f f h(t), x 2 (t) := f 2 h f(t) = f2 f h(t), x 3 (t) := f 3 h f(t) = 2 f2 f h(t), x 4 (t) := f2 h f(t) = 2 f f h(t), x 5 (t) := f2 2 h f(t) = 3 f f h(t), x 6 (t) := f2 3 h f(t) = 3 f2 f h(t). Here the different expressions of x i (t) follow from the fact that f(h(x)) = h(f(x)), x [, ]. For t [, /6] we have x i (t) = t + (i )/6, i =,..., 6. Substituting x = j h f(t), j =, 2, 3, into g f (x) = g (x), and x = f i f h(t), i =, 2, into g h (x) = g 2 (x) we have five linear equations for g(x k (t)), k =,..., 6. Abbreviating the composition f i j h f(t) as f h 2 hf(t), and x i(t) as x i, we can write g(x ) + g(x 4 ) g(/2) = g ( hf(t)), g(x 2 ) + g(x 5 ) g(/2) = g ( 2 hf(t)), g(x 3 ) + g(x 6 ) g(/2) = g ( 3 hf(t)), g(x ) + g(x 3 ) + g(x 5 ) g(/3) g(2/3) = g 2 (f fh(t)), g(x 2 ) + g(x 4 ) + g(x 6 ) g(/3) g(2/3) = g 2 (f 2 fh(t)).
8 32 O. Strauch Summing up the first three equations and, respectively, the next two equations, we find the necessary condition g (/3) + g (2/3) + 3g(/2) + (g ) h (hf(t)) for t [, /6], which is equivalent to and = (g 2 ) f (fh(t)) + g 2 (/2) + 2(g(/3) + g(2/3)) g (/3) + g (2/3) g 2 (/2) = 2(g(/3) + g(2/3)) 3g(/2) (g ) h (x) = (g 2 ) f (x) for x [, ]. Eliminating the fourth equation which depends on the others we can compute g(x 3 ),..., g(x 6 ) by using g(x ), g(x 2 ), g(/3), g(/2), and g(2/3) as follows: () g(x 3 ) = g(/3) + g(2/3) g(/2) g(x ) + g(x 2 ) g ( 2 hf(t)) + g 2(f fh(t)), g(x 4 ) = g(/2) g(x ) + g ( hf(t)), g(x 5 ) = g(/2) g(x 2 ) + g ( 2 hf(t)), g(x 6 ) = g(/3) + g(2/3) g(/2) + g(x ) g(x 2 ) g ( hf(t)) + g 2(f 2 fh(t)), for all t [, /6]. Putting t = and t = /6, we find g(/2) = 2g(/3) 2g(/6) + g (/3) g (2/3) + g 2 (/2), g(2/3) = 2g(/3) 3g(/6) + 2g (/3) g (2/3) + g 2 (/2). These values satisfy the necessary condition g (/3) + g (2/3) g 2 (/2) = 2(g(/3) + g(2/3)) 3g(/2). Moreover, g(/3) = g(x 2 (/6)), g(/6) = g(x 2 ()), and thus g(x 3 ),..., g(x 6 ) can be expressed by only using g(x ), g(x 2 ). Next, we simplify () by using hf(t) = ff 2 h 2 f 2 f 2 hf(t) = ff 2 h fh(t) = hh 2 f hf(t) = ff h fh(t) = hh 3 f hf(t) = f(x 4) for g(x 4 ), 2 hf(t) = f(x 5) for g(x 5 ), fh(t) = h(x 3) and 2 hf(t) = f(x 2) for g(x 3 ), 2 fh(t) = h(x 6) and hf(t) = ff h hf(t) = f(x ) for g(x 6 ). Now, each g(x i ) can be expressed as g(x), x [(i )/6, i/6]. To do this we use the identity x i (x j (t)) = x i (t) for t [, ] and i, j 6,
9 Distribution functions of ξ(3/2) n mod 33 which immediately follows from the fact that For example, f i j hff k h l hf(t) = f i j hf(t). g(x 3 ) = g(/3) + g(2/3) g(/2) g(x ) + g(x 2 ) g (f(x 2 )) + g 2 (h(x 3 )), for t [, /6], which is the same as g(x) = g(/3) + g(2/3) g(/2) g(x (x)) + g(x 2 (x)) g (f(x 2 (x))) + g 2 (h(x)) for x [2/6, 3/6]. In our case x (x) = x i/6 and x 2 (x) = x + /6 i/6 for x [i/6, (i + )/6] and i =,..., 5. Now, assuming the absolute continuity of g(x ) and g(x 2 ) we can write t\ g(x (t)) = ψ(u) du, g(x 2 (t)) = /6 \ t\ ψ(u) du + φ(u) du for t [, /6]. Summing up the above we find the expression g(x) in the theorem. For the monotonicity of g(x) we can investigate g (x i (t)) for t [, /6] and i =,..., 6, which immediately leads to the inequalities for ψ and φ given in our theorem. 5. Examples and concluding remarks. Define a one-jump distribution function c α : [, ] [, ] such that c α () =, c α () =, and { if x [, α), c α (x) = if x (α, ]. The distribution functions c (x), c (x), and x satisfy g f (x) = g h (x) for every x [, ]. 2. Taking g (x) = g 2 (x) = x, further solutions of g f = g h follow from Theorem 4. In this case ψ(t) 2, φ(t) 2, ψ(t) φ(t), for all t [, /6]. Putting ψ(t) = φ(t) =, the resulting distribution
10 34 O. Strauch function is for x [, 2/6], x /3 for x [2/6, 3/6], g 3 (x) = 2x 5/6 for x [3/6, 5/6], x for x [5/6, ]. Taking g (x) = g 2 (x) = g 3 (x), this g 3 (x) can be used as a starting point for a further application of Theorem 4 which gives another solution of g f = g h. 3. Computing T (j+)/6 ( T (i+)/6 F (x, y) dx) dy for i, j =,..., 5 directly, j/6 i/6 we can find \ \ F (x, y) dg 3 (x) dg 3 (y) =, which is also a consequence of Theorem 3 and (g 3 ) f = (g 3 ) h. 4. Since the mapping g g φ is linear, the set of all solutions of g f = g h is convex. 5. Since x f = x h, Theorem 2 leads to the fact that the following distribution function g 4 (x) is not a distribution function of ξ(3/2) n mod, for any ξ R: g 4 (x) = { x for x [, 2/3], x 2 (2/3)x + 2/3 for x [2/3, ]. 6. By Figure, X = [2/9, /3] [/2, ] is also a set of uniqueness. Moreover, X = /8 < 2/3. Similarly for [, /2] [2/3, 7/9]. 7. Since all the components of f ([, x)) and ([, x)) are semiclosed the fact that, for fixed ξ and m, {ξ(3/2) m } = {ξ(3/2) n } only for finitely many n, was not used in the proof of Theorem. References [] M. Bennett, Fractional parts of powers of rational numbers, Math. Proc. Cambridge Philos. Soc. 4 (993), 9 2. [2] G. Choquet, Construction effective de suites (k(3/2) n ). Étude des mesures (3/2)- stables, C. R. Acad. Sci. Paris Sér. A-B 29 (98), A69 A74 (MR 82h:62a-d). [3] L. Flatto, J. C. Lagarias and A. D. Pollington, On the range of fractional parts {ξ(p/q) n }, Acta Arith. 7 (995), [4] H. Helson and J.-P. Kahane, A Fourier method in diophantine problems, J. Analyse Math. 5 (965), (MR 3#5856). [5] L. Kuipers and H. Niederreiter, Uniform Distribution of Sequences, Wiley, New York, 974. [6] K. Mahler, An unsolved problem on the powers of 3/2, J. Austral. Math. Soc. 8 (968), (MR 37#2694). [7] I. I. Piatetski-Shapiro, On the laws of distribution of the fractional parts of an exponential function, Izv. Akad. Nauk SSSR Ser. Mat. 5 (95), (MR 3, 23d) (in Russian).
11 Distribution functions of ξ(3/2) n mod 35 [8] I. J. Schoenberg, The integrability of certain functions and related summability methods, Amer. Math. Monthly 66 (959), [9] R. Tijdeman, Note on Mahler s 3/2-problem, Norske Vid. Selsk. Skr. 6 (972), 4. [] J. G. van der Corput, Verteilungsfunktionen I VIII, Proc. Akad. Amsterdam 38 (935), 83 82, 58 66; 39 (936), 9, 9 26, 49 53, , , [] T. Vijayaraghavan, On the fractional parts of the powers of a number, I, J. London Math. Soc. 5 (94), Mathematical Institute of the Slovak Academy of Sciences Štefánikova ul Bratislava, Slovakia strauch@mau.savba.sk Received on and in revised form on (298)
ON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES
MATH. SCAND. 99 (2006), 136 146 ON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES ARTŪRAS DUBICKAS Abstract In this paper, we prove that if t 0,t 1,t 2,... is a lacunary sequence, namely, t n+1 /t n 1 + r
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) ON VERY POROSITY AND SPACES OF GENERALIZED UNIFORMLY DISTRIBUTED SEQUENCES
Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 200) 55 60 ON VERY POROSITY AND SPACES OF GENERALIZED UNIFORMLY DISTRIBUTED SEQUENCES Béla László Nitra, Slovakia) & János T. Tóth Ostrava, Czech Rep.)
More informationf(x n ) [0,1[ s f(x) dx.
ACTA ARITHMETICA LXXX.2 (1997) Dyadic diaphony by Peter Hellekalek and Hannes Leeb (Salzburg) 1. Introduction. Diaphony (see Zinterhof [13] and Kuipers and Niederreiter [6, Exercise 5.27, p. 162]) is a
More informationuniform distribution theory
Uniform Distribution Theory 1 (26), no.1, 45 63 uniform distribution theory Oto Strauch Oľga Blažeková ABSTRACT. In this paper we show that the sequence p n/n mod 1, n = 1, 2,..., where p n is the nth
More informationUniform convergence of N-dimensional Walsh Fourier series
STUDIA MATHEMATICA 68 2005 Uniform convergence of N-dimensional Walsh Fourier series by U. Goginava Tbilisi Abstract. We establish conditions on the partial moduli of continuity which guarantee uniform
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationOn a diophantine inequality involving prime numbers
ACTA ARITHMETICA LXI.3 (992 On a diophantine inequality involving prime numbers by D. I. Tolev (Plovdiv In 952 Piatetski-Shapiro [4] considered the following analogue of the Goldbach Waring problem. Assume
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationZygfryd Kominek REMARKS ON THE STABILITY OF SOME QUADRATIC FUNCTIONAL EQUATIONS
Opuscula Mathematica Vol. 8 No. 4 008 To the memory of Professor Andrzej Lasota Zygfryd Kominek REMARKS ON THE STABILITY OF SOME QUADRATIC FUNCTIONAL EQUATIONS Abstract. Stability problems concerning the
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationPREVALENCE OF SOME KNOWN TYPICAL PROPERTIES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 185 192 185 PREVALENCE OF SOME KNOWN TYPICAL PROPERTIES H. SHI Abstract. In this paper, some known typical properties of function spaces are shown to
More informationX n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)
14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationOn prime factors of subset sums
On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationHOMEWORK ASSIGNMENT 5
HOMEWORK ASSIGNMENT 5 DUE 1 MARCH, 2016 1) Let f(x) = 1 if x is rational and f(x) = 0 if x is irrational. Show that f is not continuous at any real number. Solution Fix any x R. We will show that f is
More informationEn busca de la linealidad en Matemáticas
En busca de la linealidad en Matemáticas M. Cueto, E. Gómez, J. Llorente, E. Martínez, D. Rodríguez, E. Sáez VIII Escuela taller de Análisis Funcional Bilbao, 9 Marzo 2018 1 Motivation 2 Everywhere differentiable
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationIncomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators
ACTA ARITHMETICA XCIII.4 (2000 Incomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators by Harald Niederreiter and Arne Winterhof (Wien 1. Introduction.
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationPOINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.1 (13) (2005), 117 127 POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS SAM B. NADLER, JR. Abstract. The problem of characterizing the metric spaces on which the
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationElementary Analysis Math 140D Fall 2007
Elementary Analysis Math 140D Fall 2007 Bernard Russo Contents 1 Friday September 28, 2007 1 1.1 Course information............................ 1 1.2 Outline of the course........................... 1
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
More informationDiscontinuous order preserving circle maps versus circle homeomorphisms
Discontinuous order preserving circle maps versus circle homeomorphisms V. S. Kozyakin Institute for Information Transmission Problems Russian Academy of Sciences Bolshoj Karetny lane, 19, 101447 Moscow,
More informationGENERALITY OF HENSTOCK-KURZWEIL TYPE INTEGRAL ON A COMPACT ZERO-DIMENSIONAL METRIC SPACE
Ø Ñ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ DOI: 10.2478/v10127-011-0027-z Tatra Mt. Math. Publ. 49 (2011), 81 88 GENERALITY OF HENSTOCK-KURZWEIL TYPE INTEGRAL ON A COMPACT ZERO-DIMENSIONAL METRIC SPACE Francesco Tulone ABSTRACT.
More informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationJournal of Mathematical Analysis and Applications. Riemann integrability and Lebesgue measurability of the composite function
J. Math. Anal. Appl. 354 (2009) 229 233 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Riemann integrability and Lebesgue measurability
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS
Fizikos ir matematikos fakulteto Seminaro darbai, Šiaulių universitetas, 8, 2005, 5 13 ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Boris ADAMCZEWSKI 1, Yann BUGEAUD 2 1 CNRS, Institut Camille Jordan,
More informationInternational Journal of Pure and Applied Mathematics Volume 60 No ,
International Journal of Pure and Applied Mathematics Volume 60 No. 3 200, 259-267 ON CERTAIN CLASS OF SZÁSZ-MIRAKYAN OPERATORS IN EXPONENTIAL WEIGHT SPACES Lucyna Rempulska, Szymon Graczyk 2,2 Institute
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
More informationDYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS
DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS Issam Naghmouchi To cite this version: Issam Naghmouchi. DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS. 2010. HAL Id: hal-00593321 https://hal.archives-ouvertes.fr/hal-00593321v2
More informationSUMS AND PRODUCTS OF EXTRA STRONG ŚWIA TKOWSKI FUNCTIONS. 1. Preliminaries
Ø Ñ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ DOI: 10.2478/v10127-011-0026-0 Tatra Mt. Math. Publ. 49 (2011), 71 79 SUMS AND PRODUCTS OF EXTRA STRONG ŚWIA TKOWSKI FUNCTIONS Paulina Szczuka ABSTRACT. In this paper we present
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More informationLecture 10. Riemann-Stieltjes Integration
Lecture 10 Riemann-Stieltjes Integration In this section we will develop the basic definitions and some of the properties of the Riemann-Stieltjes Integral. The development will follow that of the Darboux
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationSENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS
SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS SONG SHAO, XIANGDONG YE AND RUIFENG ZHANG Abstract. A topological dynamical system is n-sensitive, if there is a positive constant such that
More informationSTATISTICAL LIMIT POINTS
proceedings of the american mathematical society Volume 118, Number 4, August 1993 STATISTICAL LIMIT POINTS J. A. FRIDY (Communicated by Andrew M. Bruckner) Abstract. Following the concept of a statistically
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 32 (2016), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 3 06, 3 3 www.emis.de/journals ISSN 786-009 A NOTE OF THREE PRIME REPRESENTATION PROBLEMS SHICHUN YANG AND ALAIN TOGBÉ Abstract. In this note, we
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationOn the classification of irrational numbers
arxiv:506.0044v [math.nt] 5 Nov 07 On the classification of irrational numbers José de Jesús Hernández Serda May 05 Abstract In this note we make a comparison between the arithmetic properties of irrational
More informationA FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS
Fixed Point Theory, (0), No., 4-46 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS A. ABKAR AND M. ESLAMIAN Department of Mathematics,
More informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose
More informationEXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69 4 (217 271 28 December 217 research paper originalni nauqni rad EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM Saeid Shokooh and Ghasem A.
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationDavid M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003
David M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003 The Fundamental Theorem of Calculus:. If F' ( x)= f ( x), then " f ( x) dx = F( b)! F( a). b a 2. d dx
More informationON WEAK STATISTICAL CONVERGENCE OF SEQUENCE OF FUNCTIONALS
International Journal of Pure and Applied Mathematics Volume 70 No. 5 2011, 647-653 ON WEAK STATISTICAL CONVERGENCE OF SEQUENCE OF FUNCTIONALS Indu Bala Department of Mathematics Government College Chhachhrauli
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationCOMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES
COMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES HIROSHI TANAKA AND TOMOHIRO KAWAKAMI Abstract. Let R = (R,
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationLinear mod one transformations and the distribution of fractional parts {ξ(p/q) n }
ACTA ARITHMETICA 114.4 (2004) Linear mod one transformations and the distribution of fractional arts {ξ(/q) n } by Yann Bugeaud (Strasbourg) 1. Introduction. It is well known (see e.g. [7, Chater 1, Corollary
More informationA Diophantine Inequality Involving Prime Powers
A Diophantine Inequality Involving Prime Powers A. Kumchev 1 Introduction In 1952 I. I. Piatetski-Shapiro [8] studied the inequality (1.1) p c 1 + p c 2 + + p c s N < ε where c > 1 is not an integer, ε
More informationIowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions
Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationLinear distortion of Hausdorff dimension and Cantor s function
Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationOn the discrepancy estimate of normal numbers
ACTA ARITHMETICA LXXXVIII.2 (1999 On the discrepancy estimate of normal numbers 1. Introduction by M. B. Levin (Tel-Aviv Dedicated to Professor N. M. Korobov on the occasion of his 80th birthday 1.1. A
More informationFUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0
FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationComputers and Mathematics with Applications
Computers and Mathematics with Applications 64 (2012) 643 650 Contents lists available at SciVerse ScienceDirect Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationBounded point derivations on R p (X) and approximate derivatives
Bounded point derivations on R p (X) and approximate derivatives arxiv:1709.02851v3 [math.cv] 21 Dec 2017 Stephen Deterding Department of Mathematics, University of Kentucky Abstract It is shown that if
More informationNew Generalizations of Caristi s Fixed Point Theorem Via Brézis Browder Principle
Mathematica Moravica Vol. 8 1 (2004), 1 5 New Generalizations of Caristi s Fixed Point Theorem Via Brézis Browder Principle Temistocle Bîrsan Abstract. In this paper, some generalizations of Caristi s
More informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationFIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationA Smorgasbord of Applications of Fourier Analysis to Number Theory
A Smorgasbord of Applications of Fourier Analysis to Number Theory by Daniel Baczkowski Uniform Distribution modulo Definition. Let {x} denote the fractional part of a real number x. A sequence (u n R
More information