# MY DIGITAL NOTEBOOK

A Personal Blog On Mathematical Sciences and Technology

Home » Posts tagged 'Real Analysis'

# Tag Archives: Real Analysis

## Proofs of Irrationality

Tuesday, February 14th, 2012 19:18 / 3 Comments

“Irrational numbers are those real numbers which are not rational numbers!”

Def.1: Rational Number

A rational number is a real number which can be expressed in the form of $\frac{a}{b}$ where $a$ and $b$ are both integers relatively prime to each other and $b$ being non-zero.
Following two statements are equivalent to the definition 1.
1. $x=\frac{a}{b}$ is rational if and only if $a$ and $b$ are integers relatively prime to each other and $b$ does not equal to zero.
2. $x=\frac{a}{b} \in \mathbb{Q} \iff \mathrm{g.c.d.} (a,b) =1, \ a \in \mathbb{Z}, \ b \in \mathbb{Z} \setminus \{0\}$.

(more…)

26.740278 83.888889

## The Area of a Disk

Friday, January 27th, 2012 16:22 / 1 Comment

[This post is under review.]

If you are aware of elementary facts of geometry, then you might know that the area of a disk with radius $R$ is $\pi R^2$.

The radius is actually the measure(length) of a line joining the center of disk and any point on the circumference of the disk or any other circular lamina. Radius for a disk is always same, irrespective of the location of point at circumference to which you are joining the center of disk. The area of disk is defined as the ‘measure of surface‘ surrounded by the round edge (circumference) of the disk.

26.740278 83.888889

## Triangle Inequality

Friday, January 20th, 2012 10:57 / 5 Comments

Triangle inequality has its name on a geometrical fact that the length of one side of a triangle can never be greater than the sum of the lengths of other two sides of the triangle. If $a$, $b$ and $c$ be the three sides of a triangle, then neither $a$ can be greater than $b+c$, nor$b$ can be greater than $c+a$, nor $c$ can be than $a+b$.

Triangle

Consider the triangle in the image, side $a$ shall be equal to the sum of other two sides $b$ and $c$, only if the triangle behaves like a straight line. Thinking practically, one can say that one side is formed by joining the end points of two other sides.
In modulus form, $|x+y|$ represents the side $a$ if $|x|$ represents side $b$ and $|y|$ represents side $c$. A modulus is nothing, but the distance of a point on the number line from point zero.

Visual representation of Triangle inequality

For example, the distance of $5$ and $-5$ from $0$ on the initial line is $5$. So we may write that $|5|=|-5|=5$.

Triangle inequalities are not only valid for real numbers but also for complex numbers, vectors and in Euclidean spaces. In this article, I shall discuss them separately. (more…)

26.740278 83.888889

## A Trip to Mathematics: Part III Relations and Functions

Read these statements carefully:
‘Michelle is the wife of Barak Obama.’
‘John is the brother of Nick.’
‘Robert is the father of Marry.’
‘Ram is older than Laxman.’
‘Mac is the product of Apple Inc.’
After reading these statements, you will realize that first ‘Noun’ of each sentence is some how related to other. We say that each one noun is in a RELATIONSHIP to other. Mischell is related to Barak Obama, as wife. John is related to Nick, as brother. Robert is related to Marry, as father. Ram is related to Laxman in terms of age(seniority). Mac is related to Apple Inc. as a product.These relations are also used in Mathematics, but a little variations; like ‘alphabets’ or ‘numbers’ are used at place of some noun and mathematical relations are used between them. Some good examples of relations are:

is less than
is greater than
is equal to
is an element of
belongs to
divides
etc. etc.

Some examples of regular mathematical statements which we encounter daily are:

4<6 : 4 is less than 6.
5=5 : 5 is equal to 5.
6/3 : 3 divides 6.

For a general use, we can represent a statement as:
”some x is related to y”
Here ‘is related to’ phrase is nothing but a particular mathematical relation. For mathematical convenience, we write ”x is related to y” as $x \rho y$. x and y are two objects in a certain order and they can also be used as ordered pairs (x,y).
$(x,y) \in \rho$ and $x \rho y$ are the same and will be treated as the same term in further readings. If $\rho$ represents the relation motherhood, then $\mathrm {(Jane, \ John)} \in \rho$ means that Jane is mother of John.
All the relations we discussed above, were in between two objects (x,y), thus they are called Binary Relations. $(x,y) \in \rho \Rightarrow \rho$ is a binary relation between a and b. Similarly, $(x,y,z) \in \rho \Rightarrow \rho$ is a ternary (3-nary) relation on ordered pair (x,y,z). In general a relation working on an n-tuple $(x_1, x_2, \ldots x_n) \in \rho \Rightarrow \rho$ is an n-ary relation working on n-tuple.
We shall now discuss Binary Relations more rigorously, since they have solid importance in process of defining functions and also in higher studies. In a binary relation, $(x,y) \in \rho$, the first object of the ordered pair is called the the domain of relation ρ and is defined by
$D_{\rho} := \{x| \mathrm{for \ some \ y, \ (x,y) \in \rho} \}$ and also the second object is called the range of the relation ρ and is defined by $R_{\rho} := \{y| \mathrm{for \ some \ y, \ (x,y) \in \rho} \}$.
There is one more thing to discuss about relations and that is about equivalence relation.
A relation is equivalence if it satisfies three properties, Symmetric, Reflexive and Transitive.
I mean to say that if a relation is symmetric, reflexive and transitive then the relation is equivalence. You might be thinking that what these terms (symmetric, reflexive and transitive) mean here. Let me explain them separately:
A relation is symmetric: Consider three sentences “Jen is the mother of John.”; “John is brother of Nick.” and “Jen, John and Nick live in a room altogether.”
In first sentence Jen has a relationship of motherhood to John. But can John have the same relation to Jen? Can John be mother of Jen? The answer is obviously NO! This type of relations are not symmetric. Now consider second statement. John has a brotherhood relationship with Nick. But can Nick have the same relation to John? Can Nick be brother of John? The answer is simply YES! Thus, both the sentences “John is the brother of Nick.” and “Nick is the brother of John.” are the same. We may say that both are symmetric sentences. And here the relation of ‘brotherhood’ is symmetric in nature. Again LIVING WITH is also symmetric (it’s your take to understand how?).
Now let we try to write above short discussion in general and mathematical forms. Let X and Y be two objects (numbers or people or any living or non-living thing) and have a relation ρ between them. Then we write that X is related by a relation ρ , to Y. Or X ρ Y.
And if ρ is a symmetric relation, we might say that Y is (also) related by a relation ρ to X. Or Y ρ X.
So, in one line; $X \rho Y \iff Y \rho X$ is true.

A relation is reflexive if X is related to itself by a relation. i.e., $X \rho X$. Consider the statement “Jen, John and Nick live in a house altogether.” once again. Is the relation of living reflexive? How to check? Ask like, Jen lives with Jen, true? Yes! Jen lives there.
A relation is transitive, means that some objects X, Y, Z are such that if X is related to Y by the relation, Y is related to Z by the relation, then X is also related to Z by the same relation.
i.e., $X \rho Y \wedge Y \rho Z \Rightarrow X \rho Z$. For example, the relationship of brotherhood is transitive. (Why?) Now we are able to define the equivalence relation.
We say that a relation ρ is an equivalence relation if following properties are satisfied: (i) $X \rho Y \iff Y \rho X$
(ii) $X \rho X$
(iii) $X \rho Y \ Y \rho Z \Rightarrow X \rho Z$.

Functions: Let f be a relation (we are using f at the place of earlier used ρ ) on an ordered pair $(x,y) : x \in X \ y \in Y$. We can write xfy, a relation. This relation is called a function if and only if for every x, there is always a single value of y. I mean to say that if $xfy_1$ is true and $xfy_2$ is also true, then always $y_1=y_2$. This definition is standard but there are some drawbacks of this definition, which we shall discuss in the beginning of Real Analysis .
Many synonyms for the word ‘function’ are used at various stages of mathematics, e.g. Transformation, Map or Mapping, Operator, Correspondence. As already said, in ordered pair (x,y), x is called the element of domain of the function (and X the domain of the function) and y is called the element in range or co-domain of the function (and Y the range of the function).

Here I will stop myself. I don’t want a post to be long (specially when writing on basic mathematics) that reader feel it boring. The intermediate mathematics of functions is planned to be discussed in Calculus and advanced part in functional analysis. Please note that I am regularly revising older articles and trying to maintain the accuracy and completeness. If you feel that there is any fault or incompleteness in a post then please make a comment on respective post. If you are interested in writing a guest article on this blog, then kindly email me at mdnb[at]live[dot]in.

###### Must Read

• Equivalence relations (gowers.wordpress.com)
26.740278 83.888889

## Study Notes Announcements and more…

Thursday, September 22nd, 2011 19:12 / 2 Comments

# Announcement

Hi all!
I know some friends, who don’t know what mathematics in real is, always blame me for the language of the blog. It is very complicated and detailed. I understand that it is. But MY DIGITAL NOTEBOOK is mainly prepared for my study and research on mathematical sciences. So, I don’t care about what people say (SAID) about the

A Torus

content and how many hits did my posts get. I feel happy in such a way that MY DIGITAL NOTEBOOK has satisfied me at its peak-est level. I would like to thank WordPress.com for their brilliant blogging tools and to my those friends, teachers and classmates who always encourage me about my passion. For me the most important thing is my study. More I learn, more I will go ahead. So, today (I mean tonight) I have decided to write some lecture-notes (say them study-notes, since I am not a lecturer) on MY DIGITAL NOTEBOOK. I have planned to write on Group Theory at first and then on Real Analysis. And this post is just to introduce you with some fundamental notations which will be used in those study-notes.

# Notations

Conditionals and Operators
$r /; c$ : Relation $r$ holds under the condition $c$.
$a=b$ : The expression $a$ is mathematically identical to $b$.
$a \ne b$ : The expression a is mathematically different from $b$.
$x > y$ : The quantity $x$ is greater than quantity $y$.
$x \ge y$ : The quantity $x$ is greater than or equal to the quantity $y$.
$x < y$ : The quantity $x$ is less than quantity $y$.
$x \le y$ : The quantity $x$ is less than or equal to quantity $y$.
$P := Q$ : Statement $P$ defines statement $Q$.
$a \wedge b$ : a and b.
$a \vee b$ : a or b.
$\forall a$ : for all $a$.
$\exists$ : [there] exists.
$\iff$: If and only if.
Sets & Domains
$\{ a_1, a_2, \ldots, a_n \}$ : A finite set with some elements $a_1, a_2, \ldots, a_n$.
$\{ a_1, a_2, \ldots, a_n \ldots \}$ : An infinite set with elements $a_1, a_2, \ldots$
$\mathrm{\{ listElement /; domainSpecification\}}$ : A sequence of elements `listElement` with some `domainSpecifications` in the set. For example, $\{ x : x=\frac{p}{q} /; p \in \mathbb{Z}, q \in \mathbb{N^+}\}$ $a \in A$ : $a$ is an element of the set A.
$a \notin A$: a is not an element of the set A.
$x \in (a,b)$: The number x lies within the specified interval $(a,b)$.
$x \notin (a,b)$: The number x does not belong to the specified interval $(a,b)$. Standard Set Notations
$\mathbb{N}$ : the set of natural numbers $\{0, 1, 2, \ldots \}$
$\mathbb{N}^+$: The set of positive natural numbers: $\{1, 2, 3, \ldots \}$
$\mathbb{Z}$ : The set of integers $\{ 0, \pm 1, \pm 2, \ldots\}$
$\mathbb{Q}$ : The set of rational numbers
$\mathbb{R}$: The set of real numbers
$\mathbb{C}$: The set of complex numbers
$\mathbb{P}$: The set of prime numbers.
$\{ \}$ : The empty set.
$\{ A \otimes B \}$ : The ordered set of sets $A$ and $B$.
$n!$ : Factorial of n: $n!=1\cdot 2 \cdot 3 \ldots (n-1) n /; n \in \mathbb{N}$

Other mathematical notations, constants and terms will be introduced as their need.

For Non-Mathematicians:
Don’t worry I have planned to post more fun. Let’s see how the time proceeds!

###### Some Other GoodReads:

• Using math symbols in wordpress pages and posts – LaTex (1) (etidhor.wordpress.com)
• Do complex numbers really exist? (math.stackexchange.com)
• LaTeX Typesetting – Basic Mathematics (r-bloggers.com)
26.740278 83.888889

## Everywhere Continuous Non-derivable Function

Thursday, July 7th, 2011 13:12 / 2 Comments

Weierstrass had drawn attention to the fact that there exist functions which are continuous for every value of $x$ but do not possess a derivative for any value. We now consider the celebrated function given by Weierstrass to show this fact. It will be shown that if

$f(x)= \displaystyle{\sum_{n=0}^{\infty} } b^n \cos (a^n \pi x) \ \ldots (1) \\ = \cos \pi x +b \cos a \pi x + b^2 \cos a^2 \pi x+ \ldots$ where $a$ is an odd positive integer, $0 < b <1$ and $ab > 1+\frac{3}{2} \pi$, then the function $f$ is continuous $\forall x$ but not finitely derivable for any value of $x$.

G.H. Hardy improved this result to allow $ab \ge 1$.

We have $|b^n \cos (a^n \pi x)| \le b^n$ and $\sum b^n$ is convergent. Thus, by Wierstrass’s $M$-Test for uniform Convergence the series (1), is uniformly convergent in every interval. Hence $f$ is continuous $\forall x$.
Again, we have $\dfrac{f(x+h)-f(x)}{h} = \displaystyle{\sum_{n=0}^{\infty}} b^n \dfrac{\cos [a^n \pi (x+h)]-\cos a^n \pi x}{h} \ \ \ldots (2)$
Let, now, $m$ be any positive integer. Also let $S_m$ denote the sum of the $m$ terms and $R_m$, the remainder after $m$ terms, of the series (2), so that
$\displaystyle{\sum_{n=0}^{\infty}} b^n \dfrac{\cos [a^n \pi (x+h)]-\cos a^n \pi x}{h} = S_m+R_m$. By Lagrange’s mean value theorem, we have
$\dfrac{|\cos {[a^n \pi (x+h)]} -\cos {a^n \pi x|}}{|h|}=|a^n \pi h \sin {a^n \pi(x+\theta h)}| \le a^n \pi |h|$,
$|S_m| \le \displaystyle{\sum_{n=0}^{m-1}} b^n a^n \pi = \pi \dfrac {a^m b^m -1}{ab-1} < \pi \dfrac {a^m b^m}{ab-1}$. We shall now consider $R_m$.
So far we have taken $h$ as an arbitrary but we shall now choose it as follows:

We write $a^m x=\alpha_m+\xi_m$, where $\alpha_m$ is the integer nearest to $a^m x$ and $-1/2 \le \xi_m < 1/2$.
Therefore $a^m(x+h) = \alpha_m+\xi_m+ha^m$. We choose, $h$, so that $\xi_m+ha^m=1$
i.e., $h=\dfrac{1-\xi_m}{a^m}$ which $\to 0 \ \text{as} \ m \to \infty$ for $0< h \le \dfrac{3}{2a^m} \ \ldots (3)$
Now, $a^n \pi (x+h) = a^{n-m} a^m (x+h.) \\ \ =a^{n-m} \pi [(\alpha_m +\xi_m)+(1-\xi_m)] \\ \ =a^{n-m} \pi(\alpha_m+1)$

Thus $\cos[a^n \pi (x+h)] =cos [a^{n-m} (\alpha_m-1) \pi] =(-1)^{\alpha_{m+1}}$.
$\cos (a^n \pi x) = \cos [a^{n-m} (a^m \pi x)] \\ \ =\cos [a^{n-m} (\alpha_m+\xi_m) \pi] \\ \ =\cos a^{n-m} \alpha_m \pi \cos a^{n-m} \xi_m \pi - \sin a^{n-m} \alpha_m \pi \sin a^{n-m} \xi_m \pi \\ \ = (-1)^{\alpha_m} \cos a^{n-m} \xi_m \pi$ for $a$, is an odd integer and $\alpha_m$ is an integer.

Therefore, $R_m =\dfrac{(-1)^{\alpha_m}+1}{h} \displaystyle{\sum_{n=m}^{\infty}} b^n [2+\cos (a^{n-m} \xi_m \pi] \ \ldots (4)$
Now each term of series in (4) is greater than or equal to 0 and, in particular, the first term is positive, $|R_m| > \dfrac{b^m}{|h|} > \dfrac{2a^m b^m}{3} \ \ldots (3)$
Thus $\left| {\dfrac{f(x+h) -f(x)}{h}} \right| = |R_m +S_m| \\ \ \ge |R_m|-|S_m| > \left({\frac{2}{3} -\dfrac{\pi}{ab-1}} \right) a^mb^m$
As $ab > 1+\frac{3}{2}\pi$, therefore $\left({\frac{3}{2} -\dfrac{\pi}{ab-1}} \right)$ is positive.
Thus we see that when $m \to \infty$ so that $h \to 0$, the expression $\dfrac{f(x+h)-f(x)}{h}$ takes arbitrary large values. Hence, $f'(x)$ does not exist or is at least not finite.

### Reference

A course of mathematical analysis
SHANTI NARAYAN
PK MITTAL
S. Chand Co.

26.740278 83.888889

## Dedekind’s Theory of Real Numbers

Image via Wikipedia

# Intro

Let $\mathbf{Q}$ be the set of rational numbers. It is well known that $\mathbf{Q}$ is an ordered field and also the set $\mathbf{Q}$ is equipped with a relation called “less than” which is an order relation. Between two rational numbers there exists infinite number of elements of $\mathbf{Q}$. Thus the system of rational numbers seems to be dense and so apparently complete. But it is quite easy to show that there exist some numbers (?) (e.g., ${\sqrt{2}, \sqrt{3} \ldots}$ etc.) which are not rational. For example, let we have to prove that $\sqrt{2}$ is not a rational number or in other words, there exist no rational number whose square is 2. To do that if possible, purpose that $\sqrt{2}$ is a rational number. Then according to the definition of rational numbers $\sqrt{2}=\dfrac{p}{q}$, where p & q are relatively prime integers. Hence, ${\left(\sqrt{2}\right)}^2=p^2/q^2$ or $p^2=2q^2$. This implies that p is even. Let $p=2m$, then $(2m)^2=2q^2$ or $q^2=2m^2$. Thus $q$ is also even if 2 is rational. But since both are even, they are not relatively prime, which is a contradiction. Hence $\sqrt{2}$ is not a rational number and the proof is complete. Similarly we can prove that why other irrational numbers are not rational. From this proof, it is clear that the set $\mathbf{Q}$ is not complete and dense and that there are some gaps between the rational numbers in form of irrational numbers. This remark shows the necessity of forming a more comprehensive system of numbers other that the system of rational number. The elements of this extended set will be called a real number. The following three approaches have been made for defining a real number.

1. Dedekind’s Theory
2. Cantor’s Theory
3. Method of Decimal Representation

The method known as Dedekind’s Theory will be discussed in this not, which is due to R. Dedekind (1831-1916). To discuss this theory we need the following definitions:

Rational number A number which can be represented as $\dfrac{p}{q}$ where p is an integer and q is a non-zero integer i.e., $p \in \mathbf{Z}$ and $q \in \mathbf{Z} \setminus \{0\}$ and p and q are
relatively prime as their greatest common divisor is 1, i.e., $\left(p,q\right) =1$.

Ordered Field: Here, $\mathbf{Q}$ is, an algebraic structure on which the operations of addition, subtraction, multiplication & division by a non-zero number can be carried out.

Least or Smallest Element: Let $A \subseteq Q$ and $a \in Q$. Then $a$ is said to be a least element of $A$ if (i) $a \in A$ and (ii) $a \le x$ for every $x \in A$.

Greatest or Largest Element: Let $A \subseteq Q$ and $b \in Q$. Then $b$ is said to be a least element of $A$ if (i) $b \in A$ and (ii) $x \le b$ for every $x \in A$.

## Dedekind’s Section (Cut) of the Set of All the Rational Numbers

Since the set of rational numbers is an ordered field, we may consider the rational numbers to be arranged in order on straight line from left to right. Now if we cut this line by some point $P$, then the set of rational numbers is divided into two classes $L$ and $U$. The rational numbers on the left, i.e. the rational numbers less than the number corresponding to the point of cut $P$ are all in $L$ and the rational numbers on the right, i.e. The rational number greater than the point are all in $U$. If the point $P$ is not a rational number then every rational number either belongs to $L$ or $U$. But if $P$ is a rational number, then it may be considered as an element of $U$.

Def.

### Real Numbers:

Let $L \subset \mathbf{Q}$ satisfying the following conditions:

1. $L$ is non-empty proper subset of $\mathbf{Q}$.
2. $a, b \in \mathbf{Q}$ , $a < b$ and $b \in L$ then this implies that $a \in L$.
3. $L$ doesn’t have a greatest element.

Let $U=\mathbf{Q}-L$. Then the ordered pair $< L,U >$ is called a section or a cut of the set of rational numbers. This section of the set of rational numbers is called a real number.

Notation: The set of real numbers $\alpha, \beta, \gamma, \ldots$ is denote by $\mathbf{R}$.

Let $\alpha = \langle L,U \rangle$ then $L$ and $U$ are called Lower and Upper Class of $\alpha$ respectively. These classes will be denoted by $L(\alpha)$ and $U(\alpha)$ respectively.

(more…)

26.740278 83.888889
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 226, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9285687208175659, "perplexity_flag": "head"}