On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...BRNSS Publication Hub
This work produces the authors’ own concept for the definition of extension on R alongside a basic result he tagged the basic extension fact for R. This was continued with the review of existing definitions and theorems on extension prominent among which are the Urysohn’s lemma and the Tietze extension theorem which we exhaustively discussed, and in conclusion, this was applied extensively in resolving proofs of some important results bordering on the comparison principle of Lyapunov stability theory in ordinary differential equation. To start this work, an introduction to the concept of real numbers was reviewed as a definition on which this work was founded.
MA500-2: Topological Structures 2016
Aisling McCluskey, Daron Anderson
[email protected], [email protected]
Contents
0 Preliminaries 2
1 Topological Groups 8
2 Morphisms and Isomorphisms 15
3 The Second Isomorphism Theorem 27
4 Topological Vector Spaces 42
5 The Cayley-Hamilton Theorem 43
6 The Arzelà-Ascoli theorem 44
7 Tychonoff ’s Theorem if Time Permits 45
Continuous assessment 30%; final examination 70%. There will be a weekly
workshop led by Daron during which there will be an opportunity to boost
continuous assessment marks based upon workshop participation as outlined in
class.
This module is self-contained; the notes provided shall form the module text.
Due to the broad range of topics introduced, there is no recommended text.
However General Topology by R. Engelking is a graduate-level text which has
relevant sections within it. Also Undergraduate Topology: a working textbook by
McCluskey and McMaster is a useful revision text. As usual, in-class discussion
will supplement the formal notes.
1
0 PRELIMINARIES
0 Preliminaries
Reminder 0.1. A topology τ on the set X is a family of subsets of X, called
the τ-open sets, satisfying the three axioms.
(1) Both sets X and ∅ are τ-open
(2) The union of any subfamily is again a τ-open set
(3) The intersection of any two τ-open sets is again a τ-open set
We refer to (X,τ) as a topological space. Where there is no danger of ambi-
guity, we suppress reference to the symbol denoting the topology (in this case,
τ) and simply refer to X as a topological space and to the elements of τ as its
open sets. By a closed set we mean one whose complement is open.
Reminder 0.2. A metric on the set X is a function d: X×X → R satisfying
the five axioms.
(1) d(x,y) ≥ 0 for all x,y ∈ X
(2) d(x,y) = d(y,x) for x,y ∈ X
(3) d(x,x) = 0 for every x ∈ X
(4) d(x,y) = 0 implies x = y
(5) d(x,z) ≤ d(x,y) + d(y,z) for all x,y,z ∈ X
Axiom (5) is often called the triangle inequality.
Definition 0.3. If d′ : X × X → R satisfies axioms (1), (2), (3) and (5) but
maybe not (4) then we call it a pseudo-metric.
Reminder 0.4. Every metric on X induces a topology on X, called the metric
topology. We define an open ball to be a set of the form
B(x,r) = {y ∈ X : d(x,y) < r}
for any x ∈ X and r > 0. Then a subset G of X is defined to be open (wrt the
metric topology) if for each x ∈ G, there is r > 0 such that B(x,r) ⊂ G. Thus
open sets are arbitrary unions of open balls.
Topological Structures 2016 2 Version 0.15
0 PRELIMINARIES
The definition of the metric topology makes just as much sense when we are
working with a pseudo-metric. Open balls are defined in the same manner, and
the open sets are exactly the unions of open balls. Pseudo-metric topologies are
often neglected because they do not have the nice property of being Hausdorff.
Reminder 0.5. Suppose f : X → Y is a function between the topological
spaces X and Y . We say f is continuous to mean that whenever U is open in
Y ...
Some forms of N-closed Maps in supra Topological spacesIOSR Journals
In this paper, we introduce the concept of N-closed maps and we obtain the basic properties and
their relationships with other forms of N-closed maps in supra topological spaces.
International Refereed Journal of Engineering and Science (IRJES) is a peer reviewed online journal for professionals and researchers in the field of computer science. The main aim is to resolve emerging and outstanding problems revealed by recent social and technological change. IJRES provides the platform for the researchers to present and evaluate their work from both theoretical and technical aspects and to share their views.
www.irjes.com
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...BRNSS Publication Hub
This work produces the authors’ own concept for the definition of extension on R alongside a basic result he tagged the basic extension fact for R. This was continued with the review of existing definitions and theorems on extension prominent among which are the Urysohn’s lemma and the Tietze extension theorem which we exhaustively discussed, and in conclusion, this was applied extensively in resolving proofs of some important results bordering on the comparison principle of Lyapunov stability theory in ordinary differential equation. To start this work, an introduction to the concept of real numbers was reviewed as a definition on which this work was founded.
MA500-2: Topological Structures 2016
Aisling McCluskey, Daron Anderson
[email protected], [email protected]
Contents
0 Preliminaries 2
1 Topological Groups 8
2 Morphisms and Isomorphisms 15
3 The Second Isomorphism Theorem 27
4 Topological Vector Spaces 42
5 The Cayley-Hamilton Theorem 43
6 The Arzelà-Ascoli theorem 44
7 Tychonoff ’s Theorem if Time Permits 45
Continuous assessment 30%; final examination 70%. There will be a weekly
workshop led by Daron during which there will be an opportunity to boost
continuous assessment marks based upon workshop participation as outlined in
class.
This module is self-contained; the notes provided shall form the module text.
Due to the broad range of topics introduced, there is no recommended text.
However General Topology by R. Engelking is a graduate-level text which has
relevant sections within it. Also Undergraduate Topology: a working textbook by
McCluskey and McMaster is a useful revision text. As usual, in-class discussion
will supplement the formal notes.
1
0 PRELIMINARIES
0 Preliminaries
Reminder 0.1. A topology τ on the set X is a family of subsets of X, called
the τ-open sets, satisfying the three axioms.
(1) Both sets X and ∅ are τ-open
(2) The union of any subfamily is again a τ-open set
(3) The intersection of any two τ-open sets is again a τ-open set
We refer to (X,τ) as a topological space. Where there is no danger of ambi-
guity, we suppress reference to the symbol denoting the topology (in this case,
τ) and simply refer to X as a topological space and to the elements of τ as its
open sets. By a closed set we mean one whose complement is open.
Reminder 0.2. A metric on the set X is a function d: X×X → R satisfying
the five axioms.
(1) d(x,y) ≥ 0 for all x,y ∈ X
(2) d(x,y) = d(y,x) for x,y ∈ X
(3) d(x,x) = 0 for every x ∈ X
(4) d(x,y) = 0 implies x = y
(5) d(x,z) ≤ d(x,y) + d(y,z) for all x,y,z ∈ X
Axiom (5) is often called the triangle inequality.
Definition 0.3. If d′ : X × X → R satisfies axioms (1), (2), (3) and (5) but
maybe not (4) then we call it a pseudo-metric.
Reminder 0.4. Every metric on X induces a topology on X, called the metric
topology. We define an open ball to be a set of the form
B(x,r) = {y ∈ X : d(x,y) < r}
for any x ∈ X and r > 0. Then a subset G of X is defined to be open (wrt the
metric topology) if for each x ∈ G, there is r > 0 such that B(x,r) ⊂ G. Thus
open sets are arbitrary unions of open balls.
Topological Structures 2016 2 Version 0.15
0 PRELIMINARIES
The definition of the metric topology makes just as much sense when we are
working with a pseudo-metric. Open balls are defined in the same manner, and
the open sets are exactly the unions of open balls. Pseudo-metric topologies are
often neglected because they do not have the nice property of being Hausdorff.
Reminder 0.5. Suppose f : X → Y is a function between the topological
spaces X and Y . We say f is continuous to mean that whenever U is open in
Y ...
Some forms of N-closed Maps in supra Topological spacesIOSR Journals
In this paper, we introduce the concept of N-closed maps and we obtain the basic properties and
their relationships with other forms of N-closed maps in supra topological spaces.
International Refereed Journal of Engineering and Science (IRJES) is a peer reviewed online journal for professionals and researchers in the field of computer science. The main aim is to resolve emerging and outstanding problems revealed by recent social and technological change. IJRES provides the platform for the researchers to present and evaluate their work from both theoretical and technical aspects and to share their views.
www.irjes.com
International Refereed Journal of Engineering and Science (IRJES) is a peer reviewed online journal for professionals and researchers in the field of computer science. The main aim is to resolve emerging and outstanding problems revealed by recent social and technological change. IJRES provides the platform for the researchers to present and evaluate their work from both theoretical and technical aspects and to share their views.
If X be a topological space and A subspace of X, then a point x E X is said to be a cluster point of A if every open ball centered at x contains at least one point of A different from X. In the preliminary sections, review of the interior of the set X was discussed before the major work of section three was implemented.
Congruence Lattices of Isoform LatticesIOSR Journals
A congruence of a lattice L is said to be isoform, if any two congruence classes of are isomorphic as lattices. The lattice L is said to be isoform, if all congruence's of L are isoform. We prove that every finite distributive lattice D can be represented as the congruence lattice of a finite isoform lattice.
On Some Geometrical Properties of Proximal Sets and Existence of Best Proximi...BRNSS Publication Hub
The notion of proximal intersection property and diagonal property is introduced and used to establish some existence of the best proximity point for mappings satisfying contractive conditions.
International Journal of Mathematics and Statistics Invention (IJMSI)inventionjournals
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Research Inventy : International Journal of Engineering and Scienceinventy
esearch Inventy : International Journal of Engineering and Science is published by the group of young academic and industrial researchers with 12 Issues per year. It is an online as well as print version open access journal that provides rapid publication (monthly) of articles in all areas of the subject such as: civil, mechanical, chemical, electronic and computer engineering as well as production and information technology. The Journal welcomes the submission of manuscripts that meet the general criteria of significance and scientific excellence. Papers will be published by rapid process within 20 days after acceptance and peer review process takes only 7 days. All articles published in Research Inventy will be peer-reviewed.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
The International Journal of Engineering & Science is aimed at providing a platform for researchers, engineers, scientists, or educators to publish their original research results, to exchange new ideas, to disseminate information in innovative designs, engineering experiences and technological skills. It is also the Journal's objective to promote engineering and technology education. All papers submitted to the Journal will be blind peer-reviewed. Only original articles will be published.
The papers for publication in The International Journal of Engineering& Science are selected through rigorous peer reviews to ensure originality, timeliness, relevance, and readability.
Theoretical work submitted to the Journal should be original in its motivation or modeling structure. Empirical analysis should be based on a theoretical framework and should be capable of replication. It is expected that all materials required for replication (including computer programs and data sets) should be available upon request to the authors.
International Refereed Journal of Engineering and Science (IRJES) is a peer reviewed online journal for professionals and researchers in the field of computer science. The main aim is to resolve emerging and outstanding problems revealed by recent social and technological change. IJRES provides the platform for the researchers to present and evaluate their work from both theoretical and technical aspects and to share their views.
If X be a topological space and A subspace of X, then a point x E X is said to be a cluster point of A if every open ball centered at x contains at least one point of A different from X. In the preliminary sections, review of the interior of the set X was discussed before the major work of section three was implemented.
Congruence Lattices of Isoform LatticesIOSR Journals
A congruence of a lattice L is said to be isoform, if any two congruence classes of are isomorphic as lattices. The lattice L is said to be isoform, if all congruence's of L are isoform. We prove that every finite distributive lattice D can be represented as the congruence lattice of a finite isoform lattice.
On Some Geometrical Properties of Proximal Sets and Existence of Best Proximi...BRNSS Publication Hub
The notion of proximal intersection property and diagonal property is introduced and used to establish some existence of the best proximity point for mappings satisfying contractive conditions.
International Journal of Mathematics and Statistics Invention (IJMSI)inventionjournals
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Research Inventy : International Journal of Engineering and Scienceinventy
esearch Inventy : International Journal of Engineering and Science is published by the group of young academic and industrial researchers with 12 Issues per year. It is an online as well as print version open access journal that provides rapid publication (monthly) of articles in all areas of the subject such as: civil, mechanical, chemical, electronic and computer engineering as well as production and information technology. The Journal welcomes the submission of manuscripts that meet the general criteria of significance and scientific excellence. Papers will be published by rapid process within 20 days after acceptance and peer review process takes only 7 days. All articles published in Research Inventy will be peer-reviewed.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
The International Journal of Engineering & Science is aimed at providing a platform for researchers, engineers, scientists, or educators to publish their original research results, to exchange new ideas, to disseminate information in innovative designs, engineering experiences and technological skills. It is also the Journal's objective to promote engineering and technology education. All papers submitted to the Journal will be blind peer-reviewed. Only original articles will be published.
The papers for publication in The International Journal of Engineering& Science are selected through rigorous peer reviews to ensure originality, timeliness, relevance, and readability.
Theoretical work submitted to the Journal should be original in its motivation or modeling structure. Empirical analysis should be based on a theoretical framework and should be capable of replication. It is expected that all materials required for replication (including computer programs and data sets) should be available upon request to the authors.
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdfTechSoup
In this webinar you will learn how your organization can access TechSoup's wide variety of product discount and donation programs. From hardware to software, we'll give you a tour of the tools available to help your nonprofit with productivity, collaboration, financial management, donor tracking, security, and more.
2024.06.01 Introducing a competency framework for languag learning materials ...Sandy Millin
http://sandymillin.wordpress.com/iateflwebinar2024
Published classroom materials form the basis of syllabuses, drive teacher professional development, and have a potentially huge influence on learners, teachers and education systems. All teachers also create their own materials, whether a few sentences on a blackboard, a highly-structured fully-realised online course, or anything in between. Despite this, the knowledge and skills needed to create effective language learning materials are rarely part of teacher training, and are mostly learnt by trial and error.
Knowledge and skills frameworks, generally called competency frameworks, for ELT teachers, trainers and managers have existed for a few years now. However, until I created one for my MA dissertation, there wasn’t one drawing together what we need to know and do to be able to effectively produce language learning materials.
This webinar will introduce you to my framework, highlighting the key competencies I identified from my research. It will also show how anybody involved in language teaching (any language, not just English!), teacher training, managing schools or developing language learning materials can benefit from using the framework.
Instructions for Submissions thorugh G- Classroom.pptxJheel Barad
This presentation provides a briefing on how to upload submissions and documents in Google Classroom. It was prepared as part of an orientation for new Sainik School in-service teacher trainees. As a training officer, my goal is to ensure that you are comfortable and proficient with this essential tool for managing assignments and fostering student engagement.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
How to Make a Field invisible in Odoo 17Celine George
It is possible to hide or invisible some fields in odoo. Commonly using “invisible” attribute in the field definition to invisible the fields. This slide will show how to make a field invisible in odoo 17.
The Art Pastor's Guide to Sabbath | Steve ThomasonSteve Thomason
What is the purpose of the Sabbath Law in the Torah. It is interesting to compare how the context of the law shifts from Exodus to Deuteronomy. Who gets to rest, and why?
The Roman Empire A Historical Colossus.pdfkaushalkr1407
The Roman Empire, a vast and enduring power, stands as one of history's most remarkable civilizations, leaving an indelible imprint on the world. It emerged from the Roman Republic, transitioning into an imperial powerhouse under the leadership of Augustus Caesar in 27 BCE. This transformation marked the beginning of an era defined by unprecedented territorial expansion, architectural marvels, and profound cultural influence.
The empire's roots lie in the city of Rome, founded, according to legend, by Romulus in 753 BCE. Over centuries, Rome evolved from a small settlement to a formidable republic, characterized by a complex political system with elected officials and checks on power. However, internal strife, class conflicts, and military ambitions paved the way for the end of the Republic. Julius Caesar’s dictatorship and subsequent assassination in 44 BCE created a power vacuum, leading to a civil war. Octavian, later Augustus, emerged victorious, heralding the Roman Empire’s birth.
Under Augustus, the empire experienced the Pax Romana, a 200-year period of relative peace and stability. Augustus reformed the military, established efficient administrative systems, and initiated grand construction projects. The empire's borders expanded, encompassing territories from Britain to Egypt and from Spain to the Euphrates. Roman legions, renowned for their discipline and engineering prowess, secured and maintained these vast territories, building roads, fortifications, and cities that facilitated control and integration.
The Roman Empire’s society was hierarchical, with a rigid class system. At the top were the patricians, wealthy elites who held significant political power. Below them were the plebeians, free citizens with limited political influence, and the vast numbers of slaves who formed the backbone of the economy. The family unit was central, governed by the paterfamilias, the male head who held absolute authority.
Culturally, the Romans were eclectic, absorbing and adapting elements from the civilizations they encountered, particularly the Greeks. Roman art, literature, and philosophy reflected this synthesis, creating a rich cultural tapestry. Latin, the Roman language, became the lingua franca of the Western world, influencing numerous modern languages.
Roman architecture and engineering achievements were monumental. They perfected the arch, vault, and dome, constructing enduring structures like the Colosseum, Pantheon, and aqueducts. These engineering marvels not only showcased Roman ingenuity but also served practical purposes, from public entertainment to water supply.
The Indian economy is classified into different sectors to simplify the analysis and understanding of economic activities. For Class 10, it's essential to grasp the sectors of the Indian economy, understand their characteristics, and recognize their importance. This guide will provide detailed notes on the Sectors of the Indian Economy Class 10, using specific long-tail keywords to enhance comprehension.
For more information, visit-www.vavaclasses.com
Sectors of the Indian Economy - Class 10 Study Notes pdf
04_AJMS_210_19_RA.pdf
1. www.ajms.com 39
ISSN 2581-3463
RESEARCH ARTICLE
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stability
Comparison Principle of the Ordinary Differential Equations
Eziokwu C. Emmanuel
Department of Mathematics, Michael Okpara University of Agriculture, Umudike, Abia State, Nigeria
Received: 25-06-2019; Revised: 15-08-2019; Accepted: 17-10-2019
ABSTRACT
This work produces the authors’ own concept for the definition of extension on R alongside a basic
result he tagged the basic extension fact for R. This was continued with the review of existing definitions
and theorems on extension prominent among which are the Urysohn’s lemma and the Tietze extension
theorem which we exhaustively discussed, and in conclusion, this was applied extensively in resolving
proofs of some important results bordering on the comparison principle of Lyapunov stability theory
in ordinary differential equation. To start this work, an introduction to the concept of real numbers was
reviewed as a definition on which this work was founded.
Key words: Compact set, comparison principle, normal space, regular space, the set-R, Tietze’s
extension theorem
INTRODUCTION
It is a well-known fact that the set of real Numbers
is closed with the basic operations of addition and
multiplication in view of this, we develop the basic
elementary topology of the set using the following
fundamental definitions and theorems.
THE REALS (THE SET, R)
The reals or the set R is a field which is a non-
empty set that has the following properties.
A. To every pair x y
, of scalars, there exists a
corresponding scalar x y
+ called the sum of
x and y such that
i. Addition is commutative
ii. Addition is associative
iii.
There exists a unique number or scalar 0
such that x x
+ =
0
iv.
For every element in the field, there exists an
element ( )
− ∈
x F such that x x
+ −
( ) = 0 .
B. To every pair x and y of scalars, there
corresponds a scalar xy called the product of
x and y such that
i. Multiplication is commutative
ii. Multiplication is associative
iii.
There exists a unique non-zero scalar 1
such that x x
*1=
iv.
To every non-zero scalar x , there
corresponds a unique scalar
1
x
such that
x
x
*
1
= 1.
C. Multiplication is distributive under addition,
i.e., x y z xy xz
+
( ) = + .
Definition 1.1[1]
Any subset of R which satisfies the conditions of an
extensioninRasgiveninthedefinition below is said
to be an extendable subset of R,
Definition 1.2[2]
Let X = be a normal space (in topological sense)
and let A be any closed subspace of R. A map
f A a b a b
: , , ,
→ [ ] [ ]= is called an extension of
A if
i. f is continuous
ii. f A a b
: ,
→ [ ]= such that f f
= .
Address for correspondence:
Eziokwu C. Emmanuel
E-mail: okereemm@yahoo.com
2. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 40
Theorem 1.1 (Basic Extension Fact for R)[3]
Every compact (closed and bounded) subset of R
is extendable, but non-compact subsets are non-
extendable (non-continuable)
Proof: Let S be the compact subset in R. Then,
for any subset, there exists condition such that
every sequence in S has a subsequence that
converges to a point in S.
Let S be compact and let Xn
{ } be an arbitrary
sequence in S and since any sequence in S has a
convergent subsequence, Xnk
{ }has convergent
subsequences. Let that subsequence. X x
nk
{ }→ *
and since any convergent sequence in S has its
limit in S , x S
*
∈ .
Now, we show that S is extendable by definition
(1.2). Let be a normal space. Since S is
compact, S is a closed subset of R.
Hence, we define the map f S a b
: [ , ]
→ = and
show that
(i) f is continuous
(ii) f: S a b
→[ , ] = is such that f f
=
(iii)
Let f S
: → be a function and we define
the function f xn
( )� such that f x f x
n
( ) → ( ),
for each x x
n → . Then, f is continuous and to
show (ii) since S is a compact subset of
which is also a normal space, then S is a closed
set where f (s1
) = a and f s b
n
( ) = natural
numbers since the image of a closed set is
closed, i.e., f a b
−
∈
1
[ , ] is closed in S for
closed set [ , ]
a b in then f f
= . Hence, the
compact subset of is extendable because it
satisfies the conditions of definition (1.2).
(iv)
To prove that a non-compact subset is non-
extendable, we pick S a b
= ( )
, � or [ , ]
b ∞ say, a
non-compact subset and show f: S a b
→[ , ]
such that
i. f is continuous and
ii. f: S a b
→[ , ] = and f = f
This is obvious because though any f defined on
these sets may be continuous in the set S, they will
not satisfy condition (ii) since those sets are not
compact (or closed) and as such no f can operate
in any non-compact set to secure extension.
RESULTS ON EXTENSION
Definition 2.1[4]
Given that, one point sets are closed in the set X ,
then X is said to be regular if for each pair
consisting of a point x and a closed set B disjoint
from x such that there exist disjoint open sets
containing x and B, respectively. On the other
hand, the space X is said to normal if for each pair
A B
, of disjoint closed sets of X , there exist
disjointopensetscontaining A and B ,respectively.
Hence, a regular space is Hausdorff and a normal
spaceisregular A space X issaidtobecompletely
normal if every subspace of X is normal.
Lemma 2.1[5]
Let X be a topological space and let one point
sets in X be closed.
(a) X is regular if and only if given a point x X
∈
and a neighborhood U of x there is a
neighborhood V of x such that V U
⊂ .
(b) X is normal if and only if given a closed set
A , and an open set U containing A , there is
an open set V containing V such that V U
⊂ .
Proof: (a) Suppose that X is regular and suppose
that the point x and the neighborhood U of x are
given. Let B X U
= − ; then, B is a closed set. By
hypothesis, there exist disjoint open sets V and
W containing x and B , respectively. The set V
is disjoint from B since if � �
y∈ B, the set W is a
neighborhood of y disjoint from V . Therefore,
V U
⊂ as desired.
To prove the converse, suppose the point x and
the closed set B not containing x are given. Let
U X B
= − .
By hypothesis, there is a neighborhood V of x
such that V U
⊂ . The open sets V and X V
− are
disjoint open sets containing x and B ,
respectively. Thus, X is regular.
(b) This proof uses exactly the same argument;
one just replaces the point x by the set A
throughout.
Theorem 2.2[6]
a. Every regular space with a countable basis is
normal
b. Every metrizable space is normal
c. Every compact Hausdorff space is normal
d. Every well-ordered set X is normal in the
order topology.
Proof: (d) Let X be a well-ordered set. We assert
that every interval of the form x y
,
( ) is open in X .
If X has a largest element and y is the element,
( , )
x y is just a basic element about y. If y is not
the largest element of X , then ( , )
x y equals the
open set ( , )
'
x y where y' is the immediate
successor of y.
3. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 41
Now, let A and B be disjoint closed sets in X ;
assume for the moment that neither A nor B
contains the smallest element a0 of X .
For each a A
∈ , there exists a basis element about
A disjoint from B ; it contains some interval of
the form ( , )
x a (Here is where we use the fact that
is not the smallest element of X ) choose, for each
a A
∈ , such an interval ( , )
x a
a disjoint from B .
Similarly, for each b B
∈ , choose an interval
( , )
y b
0 disjoint from A.
The sets
U U x a
a A a
= ∈ ( , ) and V V y b
b B b
= ∈ ( , )
are open sets containing A and B , respectively;
we assort they are disjoint for supposing that
z U V
∈ .
Then, z x a y B
a b
∈( , ) ( , )
for some a A
∈ and
some b B
∈ .�
Assume that a b
.Then, if a ≤ yb , the two intervals
are disjoint, while if a yb
, we have a y b
b
∈( , ),
contrary to the fact that ( , )
y b
b is disjoint from A.
Similarly, contradiction occurs ifb a
.
Finally, assume that A and B are disjoint closed set
in X , and A contains the smallest element a of X .
The set { }
a0 is both open and closed in X . By the
result of the preceding paragraph, there exist
disjoint open sets U and V containing the closed
sets A –{ }
a0 and B , respectively. Then, Uv a
{ }
0
and V are disjoint open sets containing A and B,
respectively.
Theorem 2.2 (The Urysohn’s Lemma)[7]
Let X be a normal space let A and B be disjoint
closed subsets of X . Let [ , ]
a b be closed interval
in the real line. Then, there exists a continuous
map
f X a b
: [ , ]
→
Such that f x a
( ) = for every x in A , and
f x b
( ) = for every x in B
We now state and prove the very important
consequence of the Urysohn’s lemma and that is the:
Theorem 2.3 (Tietze Extension Theorem)[8-10]
Let X be a normal space; A be a closed subspace
of X .
a. Any continuous map of A into the closed
interval [ , ]
a b of may be extended to a
continuous map of all of X into a b
, .
[ ]
b. Any continuous map of A into may be
extended to a continuous map of all of X
into .
Proof: The idea of this proof is to construct a
sequence of continuous functions Sn defined on
the entire space X such that the sequence Sn
converges uniformly and such that the restriction
of Sn to A approximates f more closely as n
becomes large. Then, the limit function
will be continuous and its restriction to A will
equal f.
Step 1: The first step is to construct a particular
function g defined on all of X such that g is not
too large and such that g approximates f on the
set A to a fair degree of accuracy. To be more
precise, let us take the case f A r r
: [ , ]
→ − . We
assert that there exists a continuous function
g X
: → such that
1
( )
3
g x r
≤ for all x X
∈ ,
( ) ( )
2
3
g a f a r
− ≤ for all a A
∈ ,
The function g is constructed as follows:
Divide the interval −
[ ]
r r
, � into three equal
intervals of length
2
3
r :
I r r
1
1
3
= − −
, , I r r
2
1
3
1
3
= −
, , I r r
3
1
3
=
,
Let B and C be the subsets
B f I
= ( )
−1
1 and C f I
= 1
3
( )
a. Because f is continuous, B and C are closed
disjoint subsets of A. Therefore, they are
closedin X .BytheUrysohn’slemmafunction,
there exists a continuous function
g X r r
: ,
→ −
1
3
1
3
having the property that g x r
( ) = −
1
3
for each x
in B and g x r
( ) =
1
3
for each x in C.
Then,
1
( )
3
g x r
≤ for all x. We assert that for each
a in A,
g a f a
( )− ( ) ≤
2
3
r.
There are three cases. If a B
∈ , then both f a
( )
and g a
( ) belong to I1
. If a C
∈ , then f a
( ) and
g a
( )� are in I3
. And if a B C
∉ , then f a
( ) and
g a
( ) are in I2
. In each can g a f a r
( )−
( )
2
3
[Figure 1].
Step 2: We now prove part (a) of the Tietze
theorem.Without loss of generality, we can replace
the arbitrary closed interval [ , ]
a b of R by the
interval −
[ ]
1 1
, .
4. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 42
Let f X
: [ , ]
→ −1 1 be a continuous map. Then, f
satisfies the hypothesis of step 1, with r =1.
Therefore, there exists a continuous real-valued
function defined on all of X such that
1
( )
3
g x ≤ for x X
∈ ,
f a g a
( )− ( ) ≤
'
2
3
for a A
∈ ,
Now consider the function f g
− 1 . This function
maps A into the interval −
2
3
2
, so we can apply
step1 again, letting r =
2
3
. We obtain a real-valued
function defined on all of X such that
1
( )
3
g x ≤ (
2
3
) for x X
∈ ,
f a g a g
( )− ≤
1 2
2
2
3
( ) for a∈ A,
Then, we apply step 1 to the function f - g1 − ⋅⋅⋅−
gn and so on.
At the general step, we have real-valued functions
f − g1 ,…, g2 defined on all of X such that
f a g a g a
n
n
( )− −⋅⋅⋅− ≤
( ) ( )
2
3
n
For a A
∈ . Applying step 1 to the function
− −⋅⋅⋅−
g1 gn , with r
n
=
2
3
, we obtain a real-
valued function gn+1
defined on all of X that
g x
n+1( ) ≤
1
3
2
3
n
for x ∈ X ,
f a g a g a
n
n
( )− −⋅⋅⋅− ≤
+
+
1 1
1
2
3
( ) ( ) for a A
∈ ,
By induction, the functions gn are defined for alln .
We now define
g x g x
n
n
( ) = =
∞
∑ ( )
1
For all x in X . Of course, we have to know that
this infinite series converges. But that follows
from the comparison theorem of calculus; it
converges by comparison with the geometric
series.
1
3
2
3
1
1
−
=
∞
∑
n
n
To show that g is continuous, we must show that
the sequence Sn converges to g uniformly. This
fact follows at once from the “Weierstrass M-test”
of analysis. Without assuming this result, one can
simply note that if k n
, then
s x s x g x
k n i
i n
k
( )− = = +
∑
( ) ( )
1
≤
1
3
2
3
1
3
2
3
2
3
1
1
1
1
=
−
= +
−
= +
∞
∑ ∑
i
i n
k
i
i n
n
Holding n fixed and letting→ ∞ , we see that
g x s x
n
( )− ( ) ≤
2
3
n
For all x X
∈ . Therefore, Sn converges to g
uniformly. We show that g a f a
( ) = ( ) for a A
∈ .
i3
i2
B
x
3
r
−
I1
g
r/ 3
Figure 1: Countability and separation axioms
5. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 43
let S x g x
n i
i
n
( ) ( )
= =
∑ 1
, the nth partial sum of the
series. Then, g x
( ) is by definition the limit of the
infinite sequence S x
n ( ) partial sums. Since for all
a in A , it follows that S a f a
n ( ) ( )
→ for all
a A
∈ ; therefore, we have f a
( ) for a A
∈ .
Finally, we show that g maps X into the interval
−
[ ]
1 1
, this condition is, in fact, satisfied
automatically since the series
1
3
2
3
∑
n
converges
to 1. However, this is just a lucky accident rather
than an essential part of the proof. If all we knew
were that g mapped X into , then the map
r g
° , where r : [ , ]
→ −1 1 is the map
r y y
( ) = if y ≤1,
r y y
y
( ) = if y ≥1,
Would be an extension of f mapping x into −
[ ]
1 1
, .
Step 3: We now prove part (b) of the theorem, in
which f maps A into , we can replace by the
open interval( , )
−1 1 since this interval is
homeomorphic to .
Hence, let f be a continuous map from A into
−
( )
1 1
, . The half of the Tietze theorem already
proved shows that we can extend f to a continuous
map g X
: [ , ]
→ −1 1 mapping X into the closed
interval. How can we find a map h carrying X
into the open interval?
Given g , let us define a subset D of X by the
equation
D g g
= −
{ }
( ) { }
( )
− −
1 1
1 1
.
Since g is continuous, D is closed a subset of X .
Because g a f a
( ) = ( ) which is contained in
( , )
−1 1 the set A is disjoint from D . By the
Urysohn’s lemma, there is a continuous function
∅ → [ ]
: ,
X 0 1 such that ∅( )
D = {0} and
∅( )
A = {1}. Define
h a x g x
( ) = ∅( ) ( )
Then, h is continuous, being the product of two
continuous functions. Furthermore, h is extension
of f since for a in A ,
h a a g a g a f a
( ) = ∅( ) ( ) = ( ) =
1 ( )
Finally, h maps all of X into the open interval
( , )
−1 1 . For if x D
∈ , then h x g x
( )° ( ) = 0 .
Moreover, if x D
∉ , then g x
( ) 1; it follows that
h x g x
( ) ≤ −
1 ( ) .
APPLICATION OF EXTENDABLE SETS
IN TO THEORY OF THE COMPARISON
PRINCIPLE IN LYAPUNOV STABILITY
Let x t t t t
( ) ∈( )
, , ,
0 1 0 ≤ t0 t1 ° be a solution
of the given system of ordinary differential
equations
X F t x
' ( , )
= (3.1)
Then, x t
( ) is extendable to the point t t
= 1 if and
only if it is bounded on( , )
t t
0 1 . Again if
x t t t T
( ) ∈
, ( , )
0 1 , 0 ≤ t0 T ≤ + ∞ be a solution of
the system (3.1). Then, x t
( ) is said to be “non-
continuable” or “non-extendable” to the right if T
equals +∞ or if x t
( )� cannot be continued to the
point T. Moreover, every extendable to the right
solution of the system 3.1 is part of a non-
continuable to the right solution of the same
system.
Theorem 3.1
Let x t t t t
( ) ∈
, ( , )
0 1 t1 ≥ t0 , an extendable to the
right solution of the system (3.1), then there exists
a non-continuable to the right solution (3.1) which
extends x t
( ) that is a solution y t t t
( ),( , )
0 2 such
that t2 t1 , y t t t t
( ) ∈
, ( , )
0 1 and y t
( ) is non-
continuable to the right (here, t2 may be equal
to +∞ ).
Proof: It suffices to assume that t0 0
. Let
Q n
= ∞ ×
( , )
0 and for m = …
1 2
, , , let
Q t u Q t u m t
m
m = ( )∈ ≤ ≥
, ; ,
2 2 1
Then, Q Q
m m
⊂ +1 and Q Q
m =
Furthermore, each Qm is a compact subset of
Qx t t t
( )∈( )
0 1
, , 0≤ t0 t1 +∞ is a solution of
the system (3.1). Then, x t
( ) is extendable to the
point t t
= 1 if and only if it is bounded on( , )
t t
0 1 .
Hence, a solution y t t t T
( ) ∈
, ( , )
0 is non-
continuable to the right if its graph
t y t t t T
, , ( , ))
( )
( ) ∈ 0 intersects all the sets Qm.
We are going to construct such a solution y t
( )
which is continuable to the right, we may consider
it defined and continuous on the interval ( , )
t t
0 1 .
Now, since the graph
6. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 44
G t x t t t t
= ( )
( ) ∈
, ; ( , )
0 1 is compact, there exists an
integer m such that G Qmi
∈ . If the number α 0
is sufficiently small, then for every( , )
a u Q
∈ , the
set
M a u t x t a x u
n
, , ;
( ) = ( )∈ − ≤ −
( )
+
1
α α is
contained in the set
Qm1 1
+ . Let ( , )
f t x k
≤ on the set Qm+1 , where k
is a positive constant.
By Peano’s theorem for every point ( , )
a u Qm
∈ 1
,
there exists a solution z t
( ) of the system (3.1)
which continues x t
( ) to the point t qB
0 + and has
a graph in the set Qm1 1
+ but not entirely inside the
setQm1
. In this set Qm1 1
+ , we repeat the continuation
process as in the set Qm1
. Thus, we eventually
obtain a solution y t
( ) which intersects all the sets
Qm1
, m m1 for some m1 and is a continuable
extension of the solution x t
( ).
Theorem 3.2
Let x t t t T t T
( ) ∈( ) ≤ +∞
, , ,
0 0
0 be a non-
continuable to the right solution of 3.1. Then,
limt T T x t
→ → + ( ) = +∞
Proof: Assume that, the above assertion is false.
Then, there exists an increasing sequence tm m
{ } =
∞
1
such that
t0 ≤ �tm �T , limm m
t T
→∞ = and limm m
x t
→∞ ( ) is
such that x t y
m
( ) → as m → ∞ with y L
= and
tm increasing.
Let M be a compact subset of + ×n
such that
the point T y
,
( ) is an interior point of m , then we
mayassumethat t t M
m m
( )×( )
( )∈ for M = …
1 2
, , ,
We show that for infinitely many m , there exists
tm such that
t T t t x t M
m m m m m
( )
( )∈
+1 , δ (3.2)
Where, δ M denotes the boundary of M . If this
was not the case, then there would be ε ∈( , )
0 T
such that t x t
, ( )
( ) belongs to the interior of M
for all t withT t T
−
ε . Then, the condition
whichstatesthatif x t t t t t t
p
( ) ∈( ) +∞
, , ,
0 1 1
0
be a solution of 3.1, then x t
( ) is extendable to the
point t t
= 1 if and only if it is bounded on ( , )
t t
0 1
implies that the extendibility of x t
( ) beyond T is
a contradiction so let
V t u y t v t u t u n
ε , , , ,( , )
( ) ≤ ( )
( ) ∈ ×
+
γ :
+ × →
n
continuousheldforasubsequence,
i.e., x tm
( ) of positive integers satisfying
T t t t x t M
m m m m m
( )
( )∈
, δ (3.3)
Then, we have
lim , ,
m m m
t x t T y
→∞ ( ) ( )= ( ). This is a consequence
of the fact that t T
m → as m → ∞ assumes and
the inequality
x t x t N t t
m m m m
( )− ≤ −
( )
( ) where u is a bound
for F on M . However, δ M is a closed set. Thus,
the point( , )
T y M
∈ , a contradiction to our
assumption and hence the proof.
Theorem 3.3 [On the Comparison Principle
and Existence of + ]
Let V: � +
x R R
n
→ be a Lyapunov function
satisfying
V t u t u t u n
, , ,( , )
( ) ≤ ( ) ∈ ×
+
(3.4)
and V t u
( , ) → ∞ as u → uniformly with respect
to t lying in any compact set.
Here, �γ : +
× is continuous and such that for
every ( , )
t u
0 0 ∈
+ × , the problem
u t u u t u
= ( )+ ( ) = +
γ ε ε
, , 0 0 (3.5)
has a maximal solution defined on ( , )
t0 +∞ . Then,
every solution of 3.1 is extendable ( , )
t0 +∞
Proof: Let ( , )
t T
0 be the maximal interval of
existence of solution x t
( ) of 3.1 and assume that
T +∞. Let y t
( ) be the maximal solution of 3.1
with y t V t x t
0 0
( ) = ( )
( )
, .
Then, since Du t t u t t t S S
( ) ≤ ( )
( ) ∈ +∞
( )
γ , , , :
0
is a continuable set… (3.6)
we have
V t x t
, ( )
( )≤ γ ( ) ( , )
t t T
∈ 0 (3.7)
On the other hand, since x (t) is non-extendable to
the right solution and we have
lim
t r
x t
→
( ) = +∞
This implies that V t
( ) converges to +∞ as t T
→
but (3.7) implies that
lim ,
supV t x r T
( )
( )≤ ( )
γ as t T
→ thus T = +∞.
Corollary 3.4
Assume that, there exists α 0 such that
F t u u
( , ) ,
≤ ∈
γ α
R
7. Emmanuel: On extendable sets in the reals (R)
AJMS/Oct-Dec-2019/Vol 3/Issue 4 45
Where, γ :
+ + +
× → is such that every
( , )
t u
0 0 ∈ +
the problem (3.6) has a maximal
solution defined on t0 , .
∞
( ) Then, every solution
of 3.1 is extendable to +∞
Proof: Here, it suffices to take V t u u
,
( ) = and we
obtain.
V t x t
x t hF t x t x t
h
F t x t t V t x t
h
ε
γ
, lim
,
( , ( ) , ,
( )
( )=
( )+ ( )− ( )
( )
≤ ≤ (
→ ∞
)
)
( )
( )
Provided that α α
( ) .
t Now, let x t t t T
( ) ∈
, ( , )
0
be non-continuable to the right solution of 3.1
such that +∞ . Then, for t sufficiently close to
T � from left, we have x t
( ) α .
However, if γ :
+ × → be continuous and
( , ) ,
t x
0 0 ∈ ×
+
α ∈ +∞
( , )
o be the maximal
solution of (3.6) in the interval( , )
t t
0 0 +α . Let
V t t
:( , )
0 0 + →
α be continuous and such that
u t
( )
0 ≤ u0 and
Du t t u t t t S
( ) ≤ ( )
( ) ∈ +∞
( )
γ , , ,
0 and S is a
continuable set
Then, u t S t t t t
( ) ( ) ∈ +
, ( , )
0 0 α which implies
that every solution x t
( ) of (1.1) is extendable.
CONCLUSION
Extension in the Real Number line is extensively
shown to be real in this work by the use of
the Urysohn Lemma as was seen useful in the
theory of extension of ordinary differential
Equations vividly expressed in Application
to the theory of the Comparison Principle in
Lyapunov Stability.
REFERENCES
1. Kartsatos AG. Advanced Ordinary Differential
Equations. Tampa, Florida: Marine Publishing Co.,
Inc.; 1971.
2. Chidume CE. Foundations of Mathematical Analysis.
Trieste Italy: The Abdus Salam ICTP; 2006.
3. Chidume CE. An Introduction to Metric Space. Trieste,
Italy: International Centre for Theoretical Physics;
2007.
4. Monkes JR. Topology. 2nd
ed. New Delhi, India:
Prentice Hall of India; 2007.
5. Royden HL. Real Analysis. 3rd
ed. New Delhi, India:
Prentice Hall of India; 2008.
6. Rudin W. Principles of Mathematical Analysis. 3rd
ed.
New York: McGraw Hill Book Company; 1976.
7. Davis SW. Topology the Walter Rudin Students Series
in Advanced Mathematics. New York: McGraw Hill;
2006.
8. Krantz SG. Real Analysis and Foundations. 2nd
ed.
Boca Raton: Chapman and Hall CRC Press; 2008.
9. Strounberg K. An Introduction to Classical Real
Analysis. Belmont, CA: Wadsworth Publishing Inc.;
1981.
10. Vatsa BA. Principles of Mathematical Analysis.
New Delhi. India: CRS Publishers and Distributors;
2004.