Non-Archimedian Fields. Topological Properties of Z p, Q p (p-adics Numbers)

Size: px
Start display at page:

Download "Non-Archimedian Fields. Topological Properties of Z p, Q p (p-adics Numbers)"

Transcription

1 BULETINUL Uiversităţii Petrol Gaze di Ploieşti Vol. LVIII No. 2/ Seria Matematică - Iformatică - Fizică No-Archimedia Fields. Toological Proerties of Z, Q (-adics Numbers) Mureşa Alexe Căli Uiversitatea Petrol-Gaze di Ploieşti, Bd. Bucureşti 39, Ploieşti, Catedra de Matematică acmuresa@ug-loiesti.ro Abstract The reset wor tries to offer a ew aroach to some o-archimedia orms ad to some uusual roerties determied by these. The, as a examle, -adic umbers Q ad some toological roerties will be illustrated. The reset article will reset as a examle some abstract otios with -adic umbers exteded to Q durig the traslatio from o- Archimedia orms to the Q orm. Key words: -adics, o-archimedia, toological roerties No-Archimedia Absolute Value ad No-Archimedia s Proerties Fields Defiitio 1. A fuctio : E R + o a field E satisfyig: (1) (2) (3) x = 0 x = 0 xy = x y x + y x + y ( the Triagle Iequality) is called a orm or a absolute value. Defiitio 2. Let E be a fields with a absolute value. Let a E, r R +. The oe ball of radius r cetered at a is B r (a) = {x E : x a < r}. A close ball of radius r cetered at a is B r (a) = {x E : x a r}. A cloe ball of radius r cetered at a is a oe ad i the same time a close, ball. Defiitio 3. A absolute value is called o-archimedia if it satisfies a stroger versio of the Triagle Iequality: x + y max x, y x, y { } E ad archimedia otherwise; ad a field E with a o-archimedia absolute value is called a o-archimedia field. Proositio 1. A absolute value o Q is o-archimedia if ad oly if x 1 x N.

2 44 Mureşa Alexe Căli Proof. First suose is o-archimedia. The for itroductio N, let be P() : 1. For = 1 we have 1 = 1 1; P(1) is true. Cosiderig ow 1 for =. The + 1 max {, 1} = 1 1 ad P () P( + 1). Trough iductio, 1, N. Now we suose 1, N ad we wat to show a + b max { a, b }, a, b Q. If b = 0 we have a + b = a + 0 = a = max{ a, 0 } max { a, b }. So if we assume that b 0 the 1 a + b a a a a + b max{ a, b} / max ;1 + 1 max ; 1 b b b b b ad the it is eough to show that x + 1 max { x, 1}, x Q. For that, let be: = 0 If x 1 the x 1 for = 1,2,,. If x > 1 the x x for = 1,2,,. C x = 0 = 0 x + 1 = C x x. Ad i both cases, x ( + 1) max{ 1, x } = 0 The x 1 x ( + 1) max{ 1, x } ad because + = 0. ad x + 1 ( + 1) max{ 1, x } + 1 whe we have for the last relatios: 1 what we wat to show. x + 1 max { x, 1}, Also aother result which is ow is that: a absolute value o Q is archimedia if, y N such x > y. x Q, ( ) Lemma. I a o-archimedia field E if x,y E, x < y, the y = x + y. Proof. Assume x < x + y max y { x, y } by the iitial roreties x + y y. (1) Also, y = (x + y) x we have y max { x + y, -x } = max { x + y, x } ad because x < y for the last relatios y x + y. (2) Now for (1) ad (2) we have y = x + y.

3 No-Archimedia Fields. Toological Proerties of Z, Q (-adics Numbers) 45 Proositio 2. I a o-archimedia field E every triagle is isosceles. Proof. Let x, y, z be the verticus of the triagle a x y, y z, x z. If x y = y z we are doe. If x y y z the we assume y-z < x-y. But by Lemma, because y-z < x-y, we have x y = (x y) + (y z) = x z x y = x z ad the triagle is isosceles. Proositio 3. I a o-archimedia field. E, every oit i a oe ball is a ceter ad b B r (a) B r (a) = B r (b). Proof. Let b B r (a), so b a < r ad x ay elemet of B r (a). x b = (x a) + (a b) max { x a, a b } < r. Hece, x B r (b) sice x b < r B r (a) B r (b). Same B r (b) B r (a) is obviously ow. Therefore, B r (a) = B r (b). Corollary 1. Let E be a o-archimedia field. The for two ay oe balls or oe is cotaied i the other, or is either disjoit. Proof. We assume < r ad the roblem is: x B (a) ad x B r (a) B (a) B r (b) or B (b) B r (a). By Proositio 3, we have: x B r (a) B r (a) = B r (x) ad x B r (b) B r (b) = B r (x). The x B (a) = B (x) B r (x) = B r (b) sice < r. So, B (a) B r (b). Corollary 2. I a o-archimedia field every oe ball is cloe, that is a ball which is oe ad closed. Proof. Let B (a) be a oe ball i a o-archimedia field. Tae ay x i the boudary of B (a) B r (x) B (a) 0 for ay s > 0, so i articular, for s < r. By Corollary 1, sice B r (x) ad B (a) are ot disjoit, oe is coteied i the other ad because s < r we have x B r (x) B (a) B (a) is closed. So every oe ball is closed ad every ball is cloe. The -adic Absolute Value ad Toological Proerties for Z ad Q No-Archimedias Fields Defiitios. Let N be a rime, the for each Z, 0 we have = divides. for = 0 We defie f () = ad = α whe 0 Z, called the -adic absolute value. f () α with ot is a o-archimedia absolute value o

4 46 Mureşa Alexe Căli a a For Q, f = f (a) f (b) we defie a o-archimedia -adic absolute value i Q b b with the relatio: f ( x) x =, ( ) x Q ad f ( x y) x y = ( ) x, y Q. The we have: i N = α / α = ai, ai, N;0 ai 1 i= 0 are the -adic umbers from N, Z = = i α / α ai, ai N;0 ai 1 i= 0 are the -adic umbers from Z ad we ca defie these umbers as the iverses of aturals umbers writte i -base system ad the aturals umbers. Q = = i α / α ai, Z, ai N;0 ai i 1 i= are the -adic umbers from Q. Proositio 4. If E it s the comletio of a field E with resect to a absolute value. the E it s a field where we ca to exted the absolute value. Proof. See [3] of refereces. Proositio 5. Q is the comletio of Q with resect to Proof. See [3] of refereces. Proositio 6. Z,Q are comletes. Proof. See [3] of refereces.. Z = {x Q / x 1}. Proof. See [5] of refereces. Proositio 7. Z is comact ad Q is locally comact, by which we mea every x Q have a eighborhood which is comact. Proof. (1) We ow that Z is comlete, we wat to show that Z is totally bouded. Tae ay ε > 0 ad N such that - ε.. The a + Z = B - (a) B ε (a) because x a - < ε ( ) x a + Z. For a Z / Z the classes rerezetats is icluded i {0,1,,,, 1}. We have with defiitio of Z

5 No-Archimedia Fields. Toological Proerties of Z, Q (-adics Numbers) 47 Z U U U a + Z = B ( a) B ε a Z / Z a Z / Z a Z / Z ( a) a fiite cover of Z. So {B ε (a) : a Z / Z} is a fiite set of oe balls which cover Z, so Z is totally bouded, also is comlete ad result it is comact. (2) Let be f : Z Q ; f(y) = x + y for x Q ow, is cotiuous. Z is comact so the image of Z is x + Z is also comact. Now we ca observe that x + Z is a comact eighborhood of x Q because for z x +Z ; z x Z ; z x < 1, (Proositio 2). Remars We give, for studets, very commo defiitios, available i saces with a orm. Defiitios Let ( x ) be a sequece with etries i a field E with a absolute value.. 1. ( x ) is a Cauchy sequece if such that ( ) m N, x m x < ε., ( ) ε > 0, ( ) N N 2. If every Cauchy sequece i E coverges, E is comlete with resect to.. 3. We ca itroduce the equivalece relatio: x ) y ) if ( ) ε > 0, ( ) N N N ( (, x y ε such that ( ). ε < 4. The comletio of field E with resect to a absolute value. is the set : {[ ( x ) ]: ( x ) is a Cauchy sequeces o E} of all equivalece classes of Cauchy sequece with the equivalece relatio from 4) A oe cover of a set S is a family of oe sets { Si } such that i Si S A set S is called comact if every oe cover of S has a fiite subcover. If {S i}is ay oe cover of = S i S for some Ν. i 1 6. A set is called totally bouded if for ever ε > 0, there exist a fiite collectio of balls of radius ε which cover the set. Proositios 1. Comactess is reserved by cotiuous fuctios, what it meas, if f is cotiuous ad A is comact the f(a) is comact. 2. Ay closed subset of a comlete sace is comlete. 3. A set is comact if it is comlete ad totally bouded. ε ε Refereces 1. Colligwood, J., Mario, S., Mazowita, M. - P-adic umber, htt://adic.mathstat.uottawa.ca/~mat3166/reorts/-adic.df 2. Colojoara, I. - Aaliză matematică, Ed. Didactică şi Pedagogică, Bucureşti, 1983

6 48 Mureşa Alexe Căli 3. Gouvea, F.Q. - P-adic Numbers: A itroductio, Secod Editio, Sriger-Verlag, New Yor, K a t o, S. - Real ad -adic aalysis, Course otes for math 497c Mass rogram, fall 2000, Revised November 2001, Deartmet of mathematics, the Pesylvaia State Uiversity 5. Koblitz, N. - P-adic umbers, P-adic aalysis ad Z-eta Fuctios, Secod editio, Sriger- Verlag, New Yor, 1984 Rezumat Câmuri earhimediee. Prorietăţi toologice ale lui Z, Q (umere -adice) Lucrarea doreşte să dea o ouă abordare asura uor orme earhimediee şi asura uor ciudate rorietăţi iduse de acestea, aoi, ca exemlu, sut rezetate umerele -adice Q şi câteva rorietăţi toologice. Trecâd de la orme earhimediee la orma î Q se va da o exemlificare a uor oţiui abstracte î umerele di baza extise la Q.

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can. Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite

More information

Metric Space Properties

Metric Space Properties Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All

More information

Sequences and Series of Functions

Sequences and Series of Functions Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

B Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets

B Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets B671-672 Supplemetal otes 2 Hypergeometric, Biomial, Poisso ad Multiomial Radom Variables ad Borel Sets 1 Biomial Approximatio to the Hypergeometric Recall that the Hypergeometric istributio is fx = x

More information

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai

More information

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio

More information

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero? 2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

More information

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger.

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger. Homewor 1 Solutios Math 171, Sprig 2010 Hery Adams The exercises are from Foudatios of Mathematical Aalysis by Richard Johsobaugh ad W.E. Pfaffeberger. 2.2. Let h : X Y, g : Y Z, ad f : Z W. Prove that

More information

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover. Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is

More information

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to

More information

ON THE EXTENDED AND ALLAN SPECTRA AND TOPOLOGICAL RADII. Hugo Arizmendi-Peimbert, Angel Carrillo-Hoyo, and Jairo Roa-Fajardo

ON THE EXTENDED AND ALLAN SPECTRA AND TOPOLOGICAL RADII. Hugo Arizmendi-Peimbert, Angel Carrillo-Hoyo, and Jairo Roa-Fajardo Opuscula Mathematica Vol. 32 No. 2 2012 http://dx.doi.org/10.7494/opmath.2012.32.2.227 ON THE EXTENDED AND ALLAN SPECTRA AND TOPOLOGICAL RADII Hugo Arizmedi-Peimbert, Agel Carrillo-Hoyo, ad Jairo Roa-Fajardo

More information

ANSWERS TO MIDTERM EXAM # 2

ANSWERS TO MIDTERM EXAM # 2 MATH 03, FALL 003 ANSWERS TO MIDTERM EXAM # PENN STATE UNIVERSITY Problem 1 (18 pts). State ad prove the Itermediate Value Theorem. Solutio See class otes or Theorem 5.6.1 from our textbook. Problem (18

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

A Note on Bilharz s Example Regarding Nonexistence of Natural Density

A Note on Bilharz s Example Regarding Nonexistence of Natural Density Iteratioal Mathematical Forum, Vol. 7, 0, o. 38, 877-884 A Note o Bilharz s Examle Regardig Noexistece of Natural Desity Cherg-tiao Perg Deartmet of Mathematics Norfolk State Uiversity 700 Park Aveue,

More information

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4. 4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

More information

HOMEWORK #4 - MA 504

HOMEWORK #4 - MA 504 HOMEWORK #4 - MA 504 PAULINHO TCHATCHATCHA Chapter 2, problem 19. (a) If A ad B are disjoit closed sets i some metric space X, prove that they are separated. (b) Prove the same for disjoit ope set. (c)

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 Calculus II Basic Convergence Tests for Series MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

More information

Equations and Inequalities Involving v p (n!)

Equations and Inequalities Involving v p (n!) Equatios ad Iequalities Ivolvig v (!) Mehdi Hassai Deartmet of Mathematics Istitute for Advaced Studies i Basic Scieces Zaja, Ira mhassai@iasbs.ac.ir Abstract I this aer we study v (!), the greatest ower

More information

Homework 9. (n + 1)! = 1 1

Homework 9. (n + 1)! = 1 1 . Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves

More information

A Characterization of Compact Operators by Orthogonality

A Characterization of Compact Operators by Orthogonality Australia Joural of Basic ad Applied Scieces, 5(6): 253-257, 211 ISSN 1991-8178 A Characterizatio of Compact Operators by Orthogoality Abdorreza Paahi, Mohamad Reza Farmai ad Azam Noorafa Zaai Departmet

More information

University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!

University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck! Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad

More information

Math 341 Lecture #31 6.5: Power Series

Math 341 Lecture #31 6.5: Power Series Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series

More information

An operator equality involving a continuous field of operators and its norm inequalities

An operator equality involving a continuous field of operators and its norm inequalities Available olie at www.sciecedirect.com Liear Algebra ad its Alicatios 49 (008) 59 67 www.elsevier.com/locate/laa A oerator equality ivolvig a cotiuous field of oerators ad its orm iequalities Mohammad

More information

It is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.

It is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial. Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

VISUALIZING THE UNIT BALL OF THE AGY NORM

VISUALIZING THE UNIT BALL OF THE AGY NORM VISUALIZING THE UNIT BALL OF THE AGY NORM ALEX WRIGHT 1. Abstract Avila-Gouëzel-Yoccoz defied a orm o the relative cohomology H 1 (X, Σ) of a traslatio surface (X, ω), i [AGY06, Sectio 2] ad also [AG13,

More information

Assignment 5: Solutions

Assignment 5: Solutions McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Some p-adic congruences for p q -Catalan numbers

Some p-adic congruences for p q -Catalan numbers Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet

More information

Review Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =

Review Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = = Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:

More information

Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness

Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness Notes #3 Sequeces Limit Theorems Mootoe ad Subsequeces Bolzao-WeierstraßTheorem Limsup & Limif of Sequeces Cauchy Sequeces ad Completeess This sectio of otes focuses o some of the basics of sequeces of

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014. Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

More information

DANIELL AND RIEMANN INTEGRABILITY

DANIELL AND RIEMANN INTEGRABILITY DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda

More information

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

SZEGO S THEOREM STARTING FROM JENSEN S THEOREM

SZEGO S THEOREM STARTING FROM JENSEN S THEOREM UPB Sci Bull, Series A, Vol 7, No 3, 8 ISSN 3-77 SZEGO S THEOREM STARTING FROM JENSEN S THEOREM Cǎli Alexe MUREŞAN Mai îtâi vo itroduce Teorea lui Jese şi uele coseciţe ale sale petru deteriarea uǎrului

More information

A Quantitative Lusin Theorem for Functions in BV

A Quantitative Lusin Theorem for Functions in BV A Quatitative Lusi Theorem for Fuctios i BV Adrás Telcs, Vicezo Vespri November 19, 013 Abstract We exted to the BV case a measure theoretic lemma previously proved by DiBeedetto, Giaazza ad Vespri ([1])

More information

SOME TRIBONACCI IDENTITIES

SOME TRIBONACCI IDENTITIES Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece

More information

MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n

MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n MATH 43 FINAL EXAM Math 43 fial exam, 3 May 28. The exam starts at 9: am ad you have 5 miutes. No textbooks or calculators may be used durig the exam. This exam is prited o both sides of the paper. Good

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

A REFINEMENT OF JENSEN S INEQUALITY WITH APPLICATIONS. S. S. Dragomir 1. INTRODUCTION

A REFINEMENT OF JENSEN S INEQUALITY WITH APPLICATIONS. S. S. Dragomir 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 14, No. 1,. 153-164, February 2010 This aer is available olie at htt://www.tjm.sysu.edu.tw/ A REFINEMENT OF JENSEN S INEQUALITY WITH APPLICATIONS FOR f-divergence

More information

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

More information

MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and

MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f

More information

Math Solutions to homework 6

Math Solutions to homework 6 Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there

More information

Solutions to Tutorial 5 (Week 6)

Solutions to Tutorial 5 (Week 6) The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial 5 (Wee 6 MATH2962: Real ad Complex Aalysis (Advaced Semester, 207 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet

More information

lim za n n = z lim a n n.

lim za n n = z lim a n n. Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget

More information

Functional Analysis: Assignment Set # 10 Spring Professor: Fengbo Hang April 22, 2009

Functional Analysis: Assignment Set # 10 Spring Professor: Fengbo Hang April 22, 2009 Eduardo Coroa Fuctioal Aalysis: Assigmet Set # 0 Srig 2009 Professor: Fegbo Hag Aril 22, 2009 Theorem Let S be a comact Hausdor sace. Suose fgg is a collectio of comlex-valued fuctios o S satisfyig (i)

More information

On Some Identities and Generating Functions for Mersenne Numbers and Polynomials

On Some Identities and Generating Functions for Mersenne Numbers and Polynomials Turish Joural of Aalysis ad Number Theory, 8, Vol 6, No, 9-97 Available olie at htt://ubsscieubcom/tjat/6//5 Sciece ad Educatio Publishig DOI:69/tjat-6--5 O Some Idetities ad Geeratig Fuctios for Mersee

More information

Properties of Fuzzy Length on Fuzzy Set

Properties of Fuzzy Length on Fuzzy Set Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

More information

Topics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences.

Topics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences. MATH 301 Itroductio to Aalysis Chapter Four Sequeces Topics 1. Defiitio of covergece of sequeces. 2. Fidig ad provig the limit of sequeces. 3. Bouded covergece theorem: Theorem 4.1.8. 4. Theorems 4.1.13

More information

Fall 2013 MTH431/531 Real analysis Section Notes

Fall 2013 MTH431/531 Real analysis Section Notes Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters

More information

Topologie. Musterlösungen

Topologie. Musterlösungen Fakultät für Mathematik Sommersemester 2018 Marius Hiemisch Topologie Musterlösuge Aufgabe (Beispiel 1.2.h aus Vorlesug). Es sei X eie Mege ud R Abb(X, R) eie Uteralgebra, d.h. {kostate Abbilduge} R ud

More information

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/

More information

Best bounds for dispersion of ratio block sequences for certain subsets of integers

Best bounds for dispersion of ratio block sequences for certain subsets of integers Aales Mathematicae et Iformaticae 49 (08 pp. 55 60 doi: 0.33039/ami.08.05.006 http://ami.ui-eszterhazy.hu Best bouds for dispersio of ratio block sequeces for certai subsets of itegers József Bukor Peter

More information

An elementary proof that almost all real numbers are normal

An elementary proof that almost all real numbers are normal Acta Uiv. Sapietiae, Mathematica, 2, (200 99 0 A elemetary proof that almost all real umbers are ormal Ferdiád Filip Departmet of Mathematics, Faculty of Educatio, J. Selye Uiversity, Rolícej šoly 59,

More information

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size. Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

More information

BIRKHOFF ERGODIC THEOREM

BIRKHOFF ERGODIC THEOREM BIRKHOFF ERGODIC THEOREM Abstract. We will give a proof of the poitwise ergodic theorem, which was first proved by Birkhoff. May improvemets have bee made sice Birkhoff s orgial proof. The versio we give

More information

A Proof of Birkhoff s Ergodic Theorem

A Proof of Birkhoff s Ergodic Theorem A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed

More information

Math F215: Induction April 7, 2013

Math F215: Induction April 7, 2013 Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here

More information

Some Local Uniform Convergences and Its. Applications in Integral Theory

Some Local Uniform Convergences and Its. Applications in Integral Theory teratioal Joural of Mathematical Aalysis Vol. 1, 018, o. 1, 631-645 HKAR Ltd, www.m-hikari.com htts://doi.org/10.1988/ijma.018.81176 Some Local Uiform Covergeces ad ts Alicatios i tegral Theory Doris Doda

More information

MATH 112: HOMEWORK 6 SOLUTIONS. Problem 1: Rudin, Chapter 3, Problem s k < s k < 2 + s k+1

MATH 112: HOMEWORK 6 SOLUTIONS. Problem 1: Rudin, Chapter 3, Problem s k < s k < 2 + s k+1 MATH 2: HOMEWORK 6 SOLUTIONS CA PRO JIRADILOK Problem. If s = 2, ad Problem : Rudi, Chapter 3, Problem 3. s + = 2 + s ( =, 2, 3,... ), prove that {s } coverges, ad that s < 2 for =, 2, 3,.... Proof. The

More information

Continuity, Derivatives, and All That

Continuity, Derivatives, and All That Chater Seve Cotiuity, Derivatives, ad All That 7 imits ad Cotiuity et x R ad r > The set B( a; r) { x R : x a < r} is called the oe ball of radius r cetered at x The closed ball of radius r cetered at

More information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function. MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

ON THE FUZZY METRIC SPACES

ON THE FUZZY METRIC SPACES The Joural of Mathematics ad Computer Sciece Available olie at http://www.tjmcs.com The Joural of Mathematics ad Computer Sciece Vol.2 No.3 2) 475-482 ON THE FUZZY METRIC SPACES Received: July 2, Revised:

More information

Chapter 3 Inner Product Spaces. Hilbert Spaces

Chapter 3 Inner Product Spaces. Hilbert Spaces Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier

More information

THE INTEGRAL TEST AND ESTIMATES OF SUMS

THE INTEGRAL TEST AND ESTIMATES OF SUMS THE INTEGRAL TEST AND ESTIMATES OF SUMS. Itroductio Determiig the exact sum of a series is i geeral ot a easy task. I the case of the geometric series ad the telescoig series it was ossible to fid a simle

More information

Common Fixed Points for Multifunctions Satisfying a Polynomial Inequality

Common Fixed Points for Multifunctions Satisfying a Polynomial Inequality BULETINUL Uiversităţii Petrol Gaze di Ploieşti Vol LXII No /00 60-65 Seria Mateatică - Iforatică - Fizică Coo Fixed Poits for Multifuctios Satisfyig a Polyoial Iequality Alexadru Petcu Uiversitatea Petrol-Gaze

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

Sequence A sequence is a function whose domain of definition is the set of natural numbers.

Sequence A sequence is a function whose domain of definition is the set of natural numbers. Chapter Sequeces Course Title: Real Aalysis Course Code: MTH3 Course istructor: Dr Atiq ur Rehma Class: MSc-I Course URL: wwwmathcityorg/atiq/fa8-mth3 Sequeces form a importat compoet of Mathematical Aalysis

More information

Different kinds of Mathematical Induction

Different kinds of Mathematical Induction Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}

More information

Quiz No. 1. ln n n. 1. Define: an infinite sequence A function whose domain is N 2. Define: a convergent sequence A sequence that has a limit

Quiz No. 1. ln n n. 1. Define: an infinite sequence A function whose domain is N 2. Define: a convergent sequence A sequence that has a limit Quiz No.. Defie: a ifiite sequece A fuctio whose domai is N 2. Defie: a coverget sequece A sequece that has a limit 3. Is this sequece coverget? Why or why ot? l Yes, it is coverget sice L=0 by LHR. INFINITE

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

ON SOME NEW SEQUENCE SPACES OF NON-ABSOLUTE TYPE RELATED TO THE SPACES l p AND l I. M. Mursaleen and Abdullah K. Noman

ON SOME NEW SEQUENCE SPACES OF NON-ABSOLUTE TYPE RELATED TO THE SPACES l p AND l I. M. Mursaleen and Abdullah K. Noman Faculty of Scieces ad Mathematics, Uiversity of Niš, Serbia Available at: htt://www.mf.i.ac.rs/filomat Filomat 25:2 20, 33 5 DOI: 0.2298/FIL02033M ON SOME NEW SEQUENCE SPACES OF NON-ABSOLUTE TYPE RELATED

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

Introductory Ergodic Theory and the Birkhoff Ergodic Theorem

Introductory Ergodic Theory and the Birkhoff Ergodic Theorem Itroductory Ergodic Theory ad the Birkhoff Ergodic Theorem James Pikerto Jauary 14, 2014 I this expositio we ll cover a itroductio to ergodic theory. Specifically, the Birkhoff Mea Theorem. Ergodic theory

More information

SOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS

SOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz

More information

n=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n

n=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio

More information

MATH 1910 Workshop Solution

MATH 1910 Workshop Solution MATH 90 Workshop Solutio Fractals Itroductio: Fractals are atural pheomea or mathematical sets which exhibit (amog other properties) self similarity: o matter how much we zoom i, the structure remais the

More information

Lecture 2. The Lovász Local Lemma

Lecture 2. The Lovász Local Lemma Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio

More information

Journal of Mathematical Analysis and Applications 250, doi: jmaa , available online at http:

Journal of Mathematical Analysis and Applications 250, doi: jmaa , available online at http: Joural of Mathematical Aalysis ad Applicatios 5, 886 doi:6jmaa766, available olie at http:wwwidealibrarycom o Fuctioal Equalities ad Some Mea Values Shoshaa Abramovich Departmet of Mathematics, Uiersity

More information

Research Article A Note on the Generalized q-bernoulli Measures with Weight α

Research Article A Note on the Generalized q-bernoulli Measures with Weight α Abstract ad Alied Aalysis Volume 2011, Article ID 867217, 9 ages doi:10.1155/2011/867217 Research Article A Note o the Geeralized -Beroulli Measures with Weight T. Kim, 1 S. H. Lee, 1 D. V. Dolgy, 2 ad

More information

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define 5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o

More information

3.1. Introduction Assumptions.

3.1. Introduction Assumptions. Sectio 3. Proofs 3.1. Itroductio. A roof is a carefully reasoed argumet which establishes that a give statemet is true. Logic is a tool for the aalysis of roofs. Each statemet withi a roof is a assumtio,

More information

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book. THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each

More information

} is said to be a Cauchy sequence provided the following condition is true.

} is said to be a Cauchy sequence provided the following condition is true. Math 4200, Fial Exam Review I. Itroductio to Proofs 1. Prove the Pythagorea theorem. 2. Show that 43 is a irratioal umber. II. Itroductio to Logic 1. Costruct a truth table for the statemet ( p ad ~ r

More information

Ma 530 Infinite Series I

Ma 530 Infinite Series I Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li

More information

1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.

1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series. .3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

4 Mathematical Induction

4 Mathematical Induction 4 Mathematical Iductio Examie the propositios for all, 1 + + ( + 1) + = for all, + 1 ( + 1) for all How do we prove them? They are statemets ivolvig a variable ruig through the ifiite set Strictly speakig,

More information

Square-Congruence Modulo n

Square-Congruence Modulo n Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet

More information

MAS111 Convergence and Continuity

MAS111 Convergence and Continuity MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece

More information

Beurling Integers: Part 2

Beurling Integers: Part 2 Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers

More information

On equivalent strictly G-convex renormings of Banach spaces

On equivalent strictly G-convex renormings of Banach spaces Cet. Eur. J. Math. 8(5) 200 87-877 DOI: 0.2478/s533-00-0050-3 Cetral Europea Joural of Mathematics O equivalet strictly G-covex reormigs of Baach spaces Research Article Nataliia V. Boyko Departmet of

More information