VOL. II NO. 3 (1988) 465-472
A
MAXIMAL
CHAIN APPROACH TOTOPOLOGY
ANDORDER
R. VAINIO
Department
of mathematics/bo
Akademi SF-20500bo,
Finland(Received May 18, 1987 and in revised form August 26, 1987)
Abstract. Onordered sets(posets, lattices)weregardtopologies
(or,
moregeneralconver-gence
structures)
which onany maximalchainof the ordered set induce its owninterval topology. This construction generalizes several well-known intrinsic structures, and still containsenoughto produce interesting resultsonforinstancecompactness and connected- ness. The"maximal chain compatibility" between topology (convergencestructure)
and orderis preserved byformation of arbitrary products, at least in casetheinvolved order structuresareconditionallycompletelattices.AMSSubject ClassificationCodes: Primary54A20, Secondary54F05.
Keyword and phrases: Intrinsictopologies(convergence
structures)
onorderedsets,order convergence, maximal chains.INTRODUCTION
Parts of
2
and 3 of the present note can be regarded as an extension of Vainio[9].
Terminology is as in[9];
crucial definitions and notations are recapitulated in next section. Let Pbe a partially ordered set(short: poser),
endowP
with a topology(or,
moregenerally: aconvergence
structure)
qsuchthat allmaximalchainsof P
inherittheirown ,ntervaltopologies. The resultingspace
(P,q)
iscalledan i-space, and the structure q an i-structure(i-topology,
ori-convergence)
onP.Specially onlattices,/-space compatibility provides an excellent realm for study ofi.a.
connectedness and compactness
(3).
Partly, this is because completeness(conditional completeness)
can be equivalently described as completeness(conditional completeness)
ofall maximal chains.Examples of/-spaces abound. Whenever a poset is endowed with a topology, which is finer than interval topology and for which all maximal chains are compact
sets,
i-space compatibility follows.
Every poser
admits afinest
i-convergence, aswell as afinest
i-topology. Several well-known intrinsic convergences are /-structures, as demonstrated in
2.
Forconditionallycomplete lattices,anarbitraryproduct of/-spacesisagain an/-space
(4).
This is ofinterest, because intrinsic topologies(convergences)
ofordered structures do not behave well visavi formation of products(cf.
Ern4[1]). In 4
a few categorytheoretical remarks on i-convergencesareincluded.
Theuseof convergence structures instead of
(the
morespecial)
topologiesis motivated by works of i.a.M. Era6 and D. C.Kent,
which show a filter theoretical approach to intrinsic topologies on ordered sets provides an elegant and powerful method. Several important and natural structures, such as order convergence(cf. 1)
are not topological.Moreover, R.
N. Ball has created completion theory for lattices using Cauchy structures(i.e.
Cauchy filters of uniform convergencestructures)
still another example where classical topology does not suffice.1. PRELIMINARIES
A
convergence(structure)
on a set S is a map q S--
2F(s)(F(S)
=_ the set of allproper filters on
S),
which forall x E S satisfies(1) Ix]
Eq(x). (Ix]
is the trivial ultrafilter derived fromx.) (2) q(x)
and _D.T = G e q(x).
(3)
9ve q(x)=,
f’l[x] e q(x).
Since wewish order convergence
(see below)
to constitute aspecial exampleofourtheory,wecannotassume
’, G
Eq(x)
=,,27:f3q(x).
The definition of convergenceasstatedin axioms(1), (2), (3)
above datesback toKent [5].
The couple(S, q)
is calledaconvergence space.For
A
C_S,
letqAdenotethe convergenceqinheritedtoA. Of course, all topologiesare convergences. Thetopologicalmodification top(q)
isthe finesttopologyonS
coarserthanq.The categoryof convergence spaces
(morphisms:
continuousmaps)
is cartesian closed, a fact we will apply in4.
In G/hler[3]
convergence spaces are treated in considerable depth. Following[31
and Vainio[91
a convergence space(S,q)
is called connected, if the topologicalmodification(S,top(q))
is, i.e. if all continuous maps from(S, q)
to the two- point discrete spaceareconstant maps.A
set inagiven convergence spaceis a connected set, if the corresponding subspaceisaconnected convergence space.Partially ordered sets
(posets)
will be denoted byP,
lattices byL.
Quasi-ordered sets(no
anti-symmetryassumed!)
will be used in4,
primarily as tools. Totally ordered subsets ofP are called chains a chain which isnot a proper subset ofany other chain ofP
is called a maximal chain in P.For A
C_P, A*(A +)
is the set of all upper bounds(lower bounds)
of A. IfA {a},
we writea*(a+). A
poset is orderdense,
ifIx, y[ q
for all x
<
y. Definitions of complete(conditionally complete)
lattices and subcomplete(conditionally subcomplete)
sublattices are the standard ones. The lattice translationsL -- L
are the mapsx-.aVx,x --.aAx, for anyaL. Any
chainJ
inL
is, ofcourse,alattice in its own right, and for
S
_CJ
the indices in the expressionsVS,
VLS
tell inwhichlattice the 1.u.b. isformed, providedit exists
(dual
notationforg.l.b.).
A
poset endowed with a convergence is calledTl-ordered,
ifall setsa*,
a+ are closed.Wewilluseseveralintrinsicconvergencestructureson agivenposet
P,
i.d. intervaltopologyt(P) (O. Frink)
and order convergenceo(P) (D.
C.Kent).
The former is defined as thecoarsest
Tl-ordered
topologyonP,
and the latter is givenby ffo(P)(x)
A5r* andV
"+ both exist,and bothequal x.Hereby,
Y*
U{F*" F
E.-}
and+ t0{F
+F
E-}.
In any lattice
L,
the classical order topology(G. Birkhoff)
equalstop(o(L)).
We are now readyto proceed to orderedtopological spaces and their maximal chains.
2.
DEFINITION
ANDEXAMPLES
OF/-SPACESLet q be a convergence on an arbitrary
poser
P. The pair(P,q)
is an i-space (q istn i-convergence, or an i-topology on
P)
iffor any maximal chain J of P the equalityt(J)
qj holds. Since interval topologies on chains are Hausdorff(even Th),
any/-space (P.q) satisfies.c<_y
and9rq(x) Nq(y)
=a has notrace to any chaincontaining x and y.\Ve also note any
Tl-ordered
space(P,q)
is an /-space, ifand only ift(J) >_
qj for tllmammal chains J of P.
However,
there are /-spaces which are notTl-ordered.
Clearly.onanyposetall
Tl-ordered
topologies yielding compactmaximalchains areautomatically /-topologies.EXAMPLE
1.Every
posetP
admits afinest
i-convergences(P),
which determinesRennie’s chaintopology
r(P). (A
setSinPisr(P)-open,
ifandonlyifSV1Jisat(J)-open
set for all maximal chains
J.
This structure was referred to by Rennie[7].)
Of course,’r(P)
is thefinest
i-topology onP. In general,
thereis nocoarsest/-convergenceorcoarscst /-topology on a given poset.Indeed,
let81 (82)
be the set of all open angular regions in the planeR
u withvertex at(1,0) (at (0,1)).
The restrictionof $($2)
to]0, 1[]0, 1[
determines the topologyrl
(T2)
on]0, I[X]0, 1[. Now,
both ’1 and v2 are/-topologies onthe poset
]0, l[x]0, 1[ (endowed
with naturalorder),
but neither their g.l.b, topologynor their g.l.b, convergence are/-structures.EXAMPLE
2.Among
all/-topologies on a given poset P admitting closed maximal chains,thereisacoarsest onedenotedbyw(P). Indeed,
given the maximalchainsJofP,
letw(P)
arise from the sub-base of closed sets{a*
glJ,
a+J
aJ}.
It is easily seenw(P)
has the desired properties; also note that forP =]0, l[x]0,1[,
noset of the form a*ora+ is
w(P)-closed.
Thereareeven/-spacesin which nomaximal chainisclosed,
cf. the lattice{0, a,b, 1},
a and bnon-related,
endowed with the topology whose closed sets aregenerated by
{a, b}, {0}, {1}. We
notethat if the maximal chains of an/-space(P, q)
are closed sets,thentop(q)
is an/-topologyonP.
The following exampleshows that onposets, which arenot lattices, order convergence lnisbehaves.
EXAMPLE
3. Let P be the subposet oftt
consisting of the strictly negative part of the x-axis, all y-axis for y>
1, and the point(1, 0)
a. Clearly,o(P)(a) {[a]},
whichmeans the restriction of
o(P)
to the maximal chaincontaining a is strictlyfiner than the interval topologyof that chain.From now on, in this section we will restrict our attention to lattices only. Our first aim is to generalize two lemmata of Vainio
[9],
originally proved assuming conditionalcolnpleteness. Firstwe mention the obvious
LEMMA
4. LetL
be any lattice and.T
afilter
onL
arisingfrom
somefilter
base Sof
sets B
for
which VLB
andALB
exist.Then, for
allx 6X
.T o(L)(x) VL{ALB" B t3},AL{VLB" B 13}
both exist and bothequalx.
LEMMA
5(cf.
Vainio[9, Lemma 3]). Let L
be any lattice,J
a maximal chaznof L,
and S a subchain
of
J.Then,
VjS exists
= VLS
exists and equals VjS, and dually.PROOF. Assume VS
ce,cS,
andlet/ <
c be an L upper bound ofS. Then,s _</3
_<
c for all s S. Of course,fl
S.Thus, <
c would meanJ
is not amaximalchain.
Hence/3
c, and we have revealed cis the smallest L upper bound ofS.o Example 3 showsLemma5 cannot be extended to posets.LEMMA
6.(cf.
Vainio[9, Lemma 7]). For
an arbitrary latticeL,
any convergence structure betweent(L)
ando(L)
is ani-structure.PROOF.
LetJ
beany maximalchainofL,
take xJ,
anddenote thet(J)
neighbor-hood filterof x by
.T.
Sincet(J)
equalso(J),
Lemma 4 gives"
has abase /3 consistingofbounded J-intervals
B
such thatV{AjB" B
6B}
andAj{VB" B e /3}
both existand both equal x.
(Note
that any bounded J-interval possesses 1.u.b. and g.l.b, inJ.)
According toLemma 5,the index
L
canreplacetheindexJ
inthe above expressions, and thus,9ris abase ofafilteronL order-convergingtowardsx.Hence, o(L)
is an i-structure.Since
t(L)d > t(J)
andt(L) < o(L),
weget t(L)
is an/-structure, too.oCOROLLARY7.
On
every latticeL, o(L) < s(L).
This result isnot truefor
arbitraryposers (cf.
Ex.S).
EXAMPLE
8.In
an arbitrarylattice
thereis ahost of well-known convergence struc- tures in between intervaltopology
and orderconvergence. Ern4[2]
mentions among thetopologies, e.g. intervaltopology, new intervaltopology, Lawson topology, bi-Scott topo- logy, Rennie’s L-topology, lim-inf
topology,
Birkhoff’s order topology, and among the convergences(through
which some ofthe previous topologies can bedescribed),
e.g. in- terval convergence, lim-infconvergence, and order convergence.In
view ofLemma6, weknow all of themare/-structures.
The remainderof the paper willgive further motivation forinvestigating/-spaces.
3.
COMPACTNESS AND CONNECTIVITY
Let Lbeanarbitrarylattice. Wesayapropertypof
L
is describedby maximalchains, ifLsatisfies p All maximal chains of
L
satisfy p.Kogalovski
[6]
provescompletenessisdescribedbymaximalchains.We
willnoteLemma5 and Rennie[7,
Theorem1]
together imply that conditional completeness is described by maximal chains(also,
cf.Vainio[9]),
and from thisKogalovski’s resultfollows.LEMMA
9.In
any lattice, the following properties are described by maximal chains:(1)
convexity,(2)
order density,(3)
conditional completeness,()
completeness.PROOF.
(3) Assume
all maximal chains ofL
are conditionally complete, let S be a chainofL
withupper bound m, and letJ
beamaximalchaincontaining Sand m. HenceVz
Sexists(Lemma 5),
andL
isconditionallycomplete accordingto Rennie[7,
Theorem1].
The converse statement is trivial
(cf.
for instance Vainio[9, Lemma 3]). (4)
Assume allmaximal chains of
L
are complete, and letJ1
andJ2
be maximal chains with greatest elements al,a2. Since al Va2 EJ1
f’lJ2,
then all maximal chains have the same grea- test element, which proves L has a greatest element. Applying(3)
above the proof is completed.(>COROLLARY
10.A
lattice is(conditionally)
complete,if
and onlyif
all mazzmal chainsof
the lattice are(conditionally)
subcomplete.Usingi.a.
Lemma
9and thewell-knownfact that any chainJ
iscomplete (conditionallycomplete),
if andonlyift(J)
iscompact(all
boundedultrafiltersonJ
aret(J)-convergent),
we obtain the following two theorems.
THEOREM
11. For q ani-convergence on any latticeL,
the following are equzvalent:(1) L
is complete.(2) (L,q)
has compact maximal chains.ff
q< t(L),
but all maximal chainsof (L,q)
still are closedsets, then expresszons(1)
and(2)
are equivalent to(Z,q)
PROOF. Forpart
(3),
use thewell-known fact that alattice iscomplete, if andonlyif it iscompactin its interval topology.oFor
L
an arbitrarylattice, denotebyw(L)
the coarsest/-convergence on L admitting closed maximal chains(w(L)
is always atopology, cf. Ex.2),
and takew(L) <
q< s(L).
THEOREM
12.A
latticeL
is(conditionally)
complete,if
and onlyif
all(bounded) ultrafilters
onL
containing somemaximalchainof L
are q-convergent.We
next improve Theorem 4 of Vainio[9].
Proofs are omitted; the readeris referred to the well-known fact thatany chainJ
is conditionallycomplete and order dense, ifand only ift(J)
isconnected,
toLemma
9, and to theproofof[9,
Theorem4]. Note
that anyconvex subspace
of
an i-space is again an i-space. Definitions regarding connectivity of convergence spacesare as inGhler[3]
or Vainio[9]. Below, L
is always alattice.THEOREM
13.Every
conditionally complete, order dense, convex sublatticeof
ani-space
(L,q)
is connected.THEOREM
14. LetL
be conditionally complete, and let(L,q)
be aTi
i-space inwhich all translations are continuous maps.Then,
all connected componentsof (L,q)
are orderdense,
convex(and hence,
conditionallycomplete)
sublatticesof
L.COROLLARY
15. In conditionally completeT1
i-spaces(L,q)
with continuous tran- slations, the connected components can be described as the maxzmal order dense, convex.ublattices
of
L.Let X
(X, q)
beaconvergence space and recallthat(X, q)
and(X, top(q))
yield thes,mereal-valuedcontinuous maps, denoted by
C(X). It
isknown(cf.
Stone[8]
that thelattice
C(X)
is conditionally complete, if and only iftop(q)
is extremally disconnectcd.\,Ve next characterize conditional completeness of
C(X)
in terms ofany/-structure q onC(X).
THEOREM 16. The lattice
C(X)
is conditionally complete,if
and onlyif
allmaxTnalchains in
C(X)
are q-connected sets.Theproofisaneasyconsequence ofLemma9 and of the fact that
C(X)
isorder dense.4.
PRODUCTS
OF/-SPACESCategory
theoretical definitionsare asin I-Ierrlich[4].
At first, we will regard a somewhat more general
(but
from a catcgory theoretical point ofview morenatural)
situationthan/-space compatibility. The resultswillthen be applied to i.a. formation ofproducts of/-spaces.Let S bea quasi-ordered set endowed with aconvergence q such that for any maximal chain
J
ofSthe inequalityq.>_ t(J)
holds true. The correspondingcategory(morphisms:
increasingcontinuous
maps)
isdenotedbyOCON
and the fullsubcategorydetermined by the partially ordered objects is calledPCON.
The first categoryis mainly atool, used to obtainRemark 18 below.LEMMA
17. The concrete categoryQCON
is topological.PROOF. Let
(Si,
qi) be an arbitrary family of QCON-objects, consideraset S and set theoretical mapsf"
S-- q, I. Then,
forany x,y S,
define
() , (:r) ,(()), .
Obviously, S is thus endowed with a quasi-order
_<
and a convergence q. It remains to prove the resulting space is a QCON-object.Therefore,
letJ
be a maximal chain inS,
and letJ
be one maximal chaininSi
containing the chainJ’(J). For
anyI,
denotethe restriction of
f
to J by g, and note that forc J/
/-(()/)
where a+ and
g(a)
+ are formed in the chainsJ
and Ji, respectively. Since all maps g, are continuous, the setsa+(and
dually,a*)
are closed setsin q, and hence q>_ t(J).o
Thereareinteresting consequences of
Lemma
17. SinceQCONisatopologicalcategory, Herrlich[4;
Section 2.1,T(5)]
quite easilygives QCONisacartesian closedcategory. Po-wetobjectsin
Q, CON
arethe spacesCI(S,T),
i.e.the set ofQ,
CON-morphisms(between
given
Q,
CON-objects S andT)
endowed with product order and continuous convergence structure. Indeed, weobtain(all
proofsomitted)
REMARK
18. The topologicalcategory QCONiscartesianclosed,andcontainsPCONas aquotient-reflectivesubcategory; hencePCONis cartesian closed.
Needless to say, Lemma 17 and Remark 18 do not applyto/-space compatibility.
It is an immediate consequence of the proof of
Lemma
17 thatQCON (and
thus,PCON)
is closed under formation of arbitrary products and subspaces. This implies a few remarks on orderability.We
call aconvergence space p-orderable,ifthere is apartial orderonX
whichmakes(X, q)
aPCON-object.(If
the po-structurein questionisatotal order and q atopology, weget the well-known orderablespaces.)
Then letPORD
denote the full subcategoryof the convergence space categoryCON
consisting of all p-orderable spaces. SinceCON
is a topological category, any subcategory of this category which is closed under formation ofproducts
and subspaces is reflective in it. Thus, PORD is reflectivesubcategory ofCON.
The remainder of the paper deals with a special construction; products
of
i-spaces.Consider afamily
(Pi,
qi)ieI of/-spaces,eachPi
beingaposer
and each qi aconvergence.Denote theproduct space by
(P, q),
i.e.P
isthe productposer
andq the product conver- gence. Since PCONis closed under formation of arbitrary products,(P, q)
is an/-space, if and only if IIqi<_ s(P).
This condition is equivalent to continuity of all projections pr,:(J,t(J)) - (Pi,qi),
where J is an arbitrary maximal chain ofP
and I. This is satisfied atleast,iffor all i,Jasabove,each setpri(J)
isa convezchain inis a convexsubset of any maximal chain of
Pi
containingit).
The following lemma givesanatural sufficient condition.
Let
(Li)ieI
be conditionally complete lattices, denoteL
=_IILi, and letJ
beamaximal chain ofL.LEMMA
19. For eachI, pri(J)
is a convez chain inLi.
PROOF. Assume
pra(d)
not convex, and letha
be a"hole" in it. Define the subsetA ofJ byx A
=>
xJ
andpr(x) > ha.
Let z
n
be the element defined bypr(z) Apr,(A)
fore
I,i# ,
andpr(z) h.
(The
conditional completeness assumption impliesApr,(A) exists.)
We now prove ze
J by showingz is order related toan arbitrarysJ.
If
pr(s) >
h,thense A,
and for=
cpr(s) >_ Apr,(A) pr,(z),
which givess>
z.If
pr(s) <
h,thens<
xfor allxe A,
and hence for#
apr(s) <_ Apr,(A) pr,(z),
and s<
zfollows.Now, h pr(z) e pr(J),
acontradiction.THEOREM
20. Theproductof
given i-spaces(Li,
qi)ie! is ani-space,zf
everyL,
s acondztzonalIy complete lattice.
REFERENCES
1. M.
ERNI,
Topologiesonproductsof
partially orderedsets1-11I,..AlgebraUniv. 11(1980)
no3.pp. 295-311; ibid. 1!
(1980)
no...__3,pp. 312-319;bid.
lZ(1981)
pp. 1-23.2. --andH.
GATZKE,
Convergence and continuityinpartially ordered sets and semilattices, in Continuous LatticesandtheirAppl.,Proc.Bremen 1982, M.Dekker.3. W.
G.HLER,
Grundstrukturen der Analysis 1-I1, Akademie-Verlag und Birkh/iuser Verlag, 1977-78.4. H. HERRLICH, Categorical topology 1971-1981, Proc. Symp. Gen. Top. Appl. Prague 1.981_,
pp. 279-383.
5. D. C. KENT, On convergence groups and convergence uniformities, Fund. Math. 60 (1967),
pp. 213-222.
3. S. R. KOGALOVSKrf, On linearly complete ordered sets (Russian), Uspehi Mat. Nauk. 19
(1964)
no2,pp. 147-150.7. B. C.
RENNIE,
Lattices, Proc. London Math. Soc.52(1951),
pp. 386-400.S. M. H. STONE, Boundedness properties infunction-lattices, Canad. J. Math. 1
(1949),
pp.176-186.
9. R.VAINIO, Connectedness properties
of
lattices, .Canad,Math...Bull. 2.9 (1986)
no3, pp. 314-320.
Mathematical Problems in Engineering
Special Issue on
Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios
Call for Papers
Thinking about nonlinearity in engineering areas, up to the 70s, was focused on intentionally built nonlinear parts in order to improve the operational characteristics of a device or system. Keying, saturation, hysteretic phenomena, and dead zones were added to existing devices increasing their behavior diversity and precision. In this context, an intrinsic nonlinearity was treated just as a linear approximation, around equilibrium points.
Inspired on the rediscovering of the richness of nonlinear and chaotic phenomena, engineers started using analytical tools from “Qualitative Theory of Differential Equations,”
allowing more precise analysis and synthesis, in order to produce new vital products and services. Bifurcation theory, dynamical systems and chaos started to be part of the mandatory set of tools for design engineers.
This proposed special edition of the Mathematical Prob- lems in Engineering aims to provide a picture of the impor- tance of the bifurcation theory, relating it with nonlinear and chaotic dynamics for natural and engineered systems.
Ideas of how this dynamics can be captured through precisely tailored real and numerical experiments and understanding by the combination of specific tools that associate dynamical system theory and geometric tools in a very clever, sophis- ticated, and at the same time simple and unique analytical environment are the subject of this issue, allowing new methods to design high-precision devices and equipment.
Authors should follow the Mathematical Problems in Engineering manuscript format described at http://www .hindawi.com/journals/mpe/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System athttp://
mts.hindawi.com/according to the following timetable:
Manuscript Due December 1, 2008 First Round of Reviews March 1, 2009 Publication Date June 1, 2009
Guest Editors
José Roberto Castilho Piqueira,Telecommunication and Control Engineering Department, Polytechnic School, The University of São Paulo, 05508-970 São Paulo, Brazil;
Elbert E. Neher Macau,Laboratório Associado de Matemática Aplicada e Computação (LAC), Instituto Nacional de Pesquisas Espaciais (INPE), São Josè dos Campos, 12227-010 São Paulo, Brazil ; [email protected] Celso Grebogi,Center for Applied Dynamics Research, King’s College, University of Aberdeen, Aberdeen AB24 3UE, UK; [email protected]
Hindawi Publishing Corporation http://www.hindawi.com