This document summarizes a research article that defines extendable sets in the real numbers (R) and applies this concept to the Lyapunov stability comparison principle of ordinary differential equations. It begins with the author's own definition of extension on R and a basic result called the basic extension fact for R. It then reviews existing definitions and theorems on extension, including Urysohn's lemma and Tietze's extension theorem. The document concludes by extensively applying these results to prove some important results relating to the comparison principle of Lyapunov stability theory in ordinary differential equations.
On Analytic Review of Hahn–Banach Extension Results with Some GeneralizationsBRNSS Publication Hub
The useful Hahn–Banach theorem in functional analysis has significantly been in use for many years ago. At this point in time, we discover that its domain and range of existence can be extended point wisely so as to secure a wider range of extendibility. In achieving this, we initially reviewed the existing traditional Hahn–Banach extension theorem, before we carefully and successfully used it to generate the finite extension form as in main results of section three.
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.
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.
On Analytic Review of Hahn–Banach Extension Results with Some GeneralizationsBRNSS Publication Hub
The useful Hahn–Banach theorem in functional analysis has significantly been in use for many years ago. At this point in time, we discover that its domain and range of existence can be extended point wisely so as to secure a wider range of extendibility. In achieving this, we initially reviewed the existing traditional Hahn–Banach extension theorem, before we carefully and successfully used it to generate the finite extension form as in main results of section three.
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.
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.
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 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.
In the present paper , we introduce and study the concept of gr- Ti- space (for i =0,1,2) and
obtain the characterization of gr –regular space , gr- normal space by using the notion of gr-open
sets. Further, some of their properties and results are discussed.
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.
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.
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
Totally R*-Continuous and Totally R*-Irresolute Functionsinventionjournals
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.
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.
Notions via β*-open sets in topological spacesIOSR Journals
In this paper, first we define β*-open sets and β*-interior in topological spaces.J.Antony Rex Rodrigo[3] has studied the topological properties of 𝜂 * -derived, 𝜂 * -border, 𝜂 * -frontier and 𝜂 * exterior of a set using the concept of 𝜂 * -open following M.Caldas,S.Jafari and T.Noiri[5]. By the same technique the concept of β*-derived, β*-border, β*-frontier and β*exterior of a set using the concept of β*-open sets are introduced.Some interesting results that shows the relationships between these concepts are brought about
Best Approximation in Real Linear 2-Normed SpacesIOSR Journals
This pape r d e l i n e a t e s existence, characterizations and st rong unicity of best uniform
approximations in real linear 2-normed spaces.
AMS Su ject Classification: 41A50, 41A52, 41A99, 41A28.
IJERA (International journal of Engineering Research and Applications) is International online, ... peer reviewed journal. For more detail or submit your article, please visit www.ijera.com
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 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.
In the present paper , we introduce and study the concept of gr- Ti- space (for i =0,1,2) and
obtain the characterization of gr –regular space , gr- normal space by using the notion of gr-open
sets. Further, some of their properties and results are discussed.
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.
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.
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
Totally R*-Continuous and Totally R*-Irresolute Functionsinventionjournals
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.
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.
Notions via β*-open sets in topological spacesIOSR Journals
In this paper, first we define β*-open sets and β*-interior in topological spaces.J.Antony Rex Rodrigo[3] has studied the topological properties of 𝜂 * -derived, 𝜂 * -border, 𝜂 * -frontier and 𝜂 * exterior of a set using the concept of 𝜂 * -open following M.Caldas,S.Jafari and T.Noiri[5]. By the same technique the concept of β*-derived, β*-border, β*-frontier and β*exterior of a set using the concept of β*-open sets are introduced.Some interesting results that shows the relationships between these concepts are brought about
Best Approximation in Real Linear 2-Normed SpacesIOSR Journals
This pape r d e l i n e a t e s existence, characterizations and st rong unicity of best uniform
approximations in real linear 2-normed spaces.
AMS Su ject Classification: 41A50, 41A52, 41A99, 41A28.
IJERA (International journal of Engineering Research and Applications) is International online, ... peer reviewed journal. For more detail or submit your article, please visit www.ijera.com
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 ...
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 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.
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.
The determination of this paper is to introduce two new spaces , namely 𝑆𝑔
∗
-compact and 𝑆𝑔
∗
-
connected spaces. Additionally some properties of these spaces are investigated.
Mathematics Subject Classification: 54A05
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.
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.
Similar to On Extendable Sets in the Reals (R) With Application to the Lyapunov Stability Comparison Principle of the Ordinary Differential Equations (20)
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxEduSkills OECD
Andreas Schleicher presents at the OECD webinar ‘Digital devices in schools: detrimental distraction or secret to success?’ on 27 May 2024. The presentation was based on findings from PISA 2022 results and the webinar helped launch the PISA in Focus ‘Managing screen time: How to protect and equip students against distraction’ https://www.oecd-ilibrary.org/education/managing-screen-time_7c225af4-en and the OECD Education Policy Perspective ‘Students, digital devices and success’ can be found here - https://oe.cd/il/5yV
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
We all have good and bad thoughts from time to time and situation to situation. We are bombarded daily with spiraling thoughts(both negative and positive) creating all-consuming feel , making us difficult to manage with associated suffering. Good thoughts are like our Mob Signal (Positive thought) amidst noise(negative thought) in the atmosphere. Negative thoughts like noise outweigh positive thoughts. These thoughts often create unwanted confusion, trouble, stress and frustration in our mind as well as chaos in our physical world. Negative thoughts are also known as “distorted thinking”.
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.
How to Split Bills in the Odoo 17 POS ModuleCeline George
Bills have a main role in point of sale procedure. It will help to track sales, handling payments and giving receipts to customers. Bill splitting also has an important role in POS. For example, If some friends come together for dinner and if they want to divide the bill then it is possible by POS bill splitting. This slide will show how to split bills in odoo 17 POS.
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
Ethnobotany and Ethnopharmacology:
Ethnobotany in herbal drug evaluation,
Impact of Ethnobotany in traditional medicine,
New development in herbals,
Bio-prospecting tools for drug discovery,
Role of Ethnopharmacology in drug evaluation,
Reverse Pharmacology.
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.
How to Create Map Views in the Odoo 17 ERPCeline George
The map views are useful for providing a geographical representation of data. They allow users to visualize and analyze the data in a more intuitive manner.
Model Attribute Check Company Auto PropertyCeline George
In Odoo, the multi-company feature allows you to manage multiple companies within a single Odoo database instance. Each company can have its own configurations while still sharing common resources such as products, customers, and suppliers.
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stability Comparison Principle of the Ordinary Differential Equations
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.