# Pseudogroups of transformations on discrete topological spaces

### Jolanta Lipińska

Journal of Applied Mathematics and Computational Mechanics |
Download Full Text |
View in HTML format |
Export citation |

@article{Lipińska_2016, doi = {10.17512/jamcm.2016.2.08}, url = {https://doi.org/10.17512/jamcm.2016.2.08}, year = 2016, publisher = {The Publishing Office of Czestochowa University of Technology}, volume = {15}, number = {2}, pages = {71--75}, author = {Jolanta Lipińska}, title = {Pseudogroups of transformations on discrete topological spaces}, journal = {Journal of Applied Mathematics and Computational Mechanics} }

TY - JOUR DO - 10.17512/jamcm.2016.2.08 UR - https://doi.org/10.17512/jamcm.2016.2.08 TI - Pseudogroups of transformations on discrete topological spaces T2 - Journal of Applied Mathematics and Computational Mechanics JA - J Appl Math Comput Mech AU - Lipińska, Jolanta PY - 2016 PB - The Publishing Office of Czestochowa University of Technology SP - 71 EP - 75 IS - 2 VL - 15 SN - 2299-9965 SN - 2353-0588 ER -

Lipińska, J. (2016). Pseudogroups of transformations on discrete topological spaces. Journal of Applied Mathematics and Computational Mechanics, 15(2), 71-75. doi:10.17512/jamcm.2016.2.08

Lipińska, J., 2016. Pseudogroups of transformations on discrete topological spaces. Journal of Applied Mathematics and Computational Mechanics, 15(2), pp.71-75. Available at: https://doi.org/10.17512/jamcm.2016.2.08

[1]J. Lipińska, "Pseudogroups of transformations on discrete topological spaces," Journal of Applied Mathematics and Computational Mechanics, vol. 15, no. 2, pp. 71-75, 2016.

Lipińska, Jolanta. "Pseudogroups of transformations on discrete topological spaces." Journal of Applied Mathematics and Computational Mechanics 15.2 (2016): 71-75. CrossRef. Web.

1. Lipińska J. Pseudogroups of transformations on discrete topological spaces. Journal of Applied Mathematics and Computational Mechanics. The Publishing Office of Czestochowa University of Technology; 2016;15(2):71-75. Available from: https://doi.org/10.17512/jamcm.2016.2.08

Lipińska, Jolanta. "Pseudogroups of transformations on discrete topological spaces." Journal of Applied Mathematics and Computational Mechanics 15, no. 2 (2016): 71-75. doi:10.17512/jamcm.2016.2.08

PSEUDOGROUPS OF TRANSFORMATIONS ON DISCRETE TOPOLOGICAL SPACES

Jolanta Lipińska

Institute of Mathematics, Czestochowa
University of Technology

Częstochowa, Poland

jolanta.lipinska@im.pcz.pl

**Abstract.** In
all the earlier papers pseudogroups of transformations, generalised inverse
semigroups and their connections were considered. This paper is a kind of
recapitulation
of these problems. Considering pseudogroups of transformations on discrete
topological spaces is a step in the same direction. In this paper we notice
that domains of functions
belonging to a pseudogroup of transformations on discrete topological spaces -
when we join an empty set to them create not only a topological space but also
a σ-body. We also consider pseudogroups on discrete topological spaces
with the finite number of elements. The third problem is the influence of
topology on relation of partial order.

*Keywords: **pseudogroups of
transformations, generalised inverse semigroups*

1. Introduction

The notion of a pseudogroup was formed progressively together with the development of differential geometry. The first mathematicians who realized that a classic notion of a group of transformations was not sufficient for purposes of differential geometry were O. Veblen and J.H.C. Whitehead in 1932. Their definition was improved by J.A. Schouten and J. Haantjes in 1937, S. Gołąb in 1939 and C. Ehresmann in 1947. Both Gołąb’s and Ehresmann’s definitions are good enough to be used at present. It was shown in [1] that axioms of Ehresmann’s definition can be formulated in an equivalent way which simplify proofs. We used this definition in [2] to show that a group of transformation can be treated as a pseudogroup. Inverse semigroups and other generalizations of the notion of a group are present not only in differential geometry [3, 4]. This theory is still being developed [5].

2. Main results

Let us recall the following version of Ehresmann’s definition which is used in differential geometry and can be found in [6].

**Definition 1.*** **A pseudogroup of transformations on a topological space is a set of
transformations satisfying the following axioms:*

1°* Each is a homeomorphism of an open
set of onto another open set
of ;*

2°* If , then the restriction of to an arbitrary open subset of the
domain
of is in ;*

3°* Let *_{ }*= *_{ }* where each _{ }is an open set of . A homeomorphism*

_{ }

_{ }*of*

*onto an open set of belongs to*

_{ }if the restriction of_{ }to is in for every ;4°* For every open set of , the
identity transformation of is in ;*

5°* If ,
then ;*

6°* If is a homeomorphism of _{ }onto _{ }and _{ }is
a homeomorphism
of onto and
if is non-empty, then the homeomorphism of onto
*

*is in .*

We will also use the following definition introduced in [1].

**Definition 2.*** A non-empty set** *_{ }*of functions, for which domains _{ }*

_{ }are arbitrary non-empty sets, will be called a pseudogroup of functions if it satisfies the following conditions:1°* *_{ } for

2°* * for

3°* * for

*where*

: is
a function and is a |

*and*

: |

*and denotes
an inverse relation.*

It was shown in [1]
that if _{ }is a
pseudogroup, then (**:**)
is a topological space and is an Ehresmann* *pseudogroup of transformations
on this topological space. On the other hand, if is
an Ehresmann* *pseudogroup
of transformations on a topological space , then _{ }is
a pseudo-group of functions.

We will use the following definition which we can find in [7]

**Definition 3. ***We will say that *_{ }*is a **Schouten-Haantjes pseudogroup if
it satisfies
the following axioms:*

1°* If , and is
defined, then ,*

2°* If and is defined, then .*

We notice that a Schouten-Haantjes pseudogroup does not satisfy axioms of Definition 1 because the union of domains may not be a domain of a function belonging to it. In this case we can only say that an intersection of a finite numbers of domains will be a domain of a function which belongs to a Schouten-Haantjes pseudogroup.

**Definition 4.** *A generalized inverse
semigroup is a partial groupoid s**atisfying
the following axioms:*

1°* *

*holds when one of the sides is defined;*

2°* *For every there
exists exactly one such that

_{ }and |

We will also need the following definitions and denotations for elements of a generalised inverse semigroup which were introduced in [8]. We will write instead of . For every the only one from 2° of Definition 4 will be denoted by and called a generalised inverse element of , will be called a right identity of and a left identity of . It is obvious that will be then a generalised inverse element of , will be a left identity of and a right identity of . If is a right and left identity for all elements of we say that is an identity. We will say that is an idempotent element when . It was shown in [8] that for an idempotent element , so it means that its generalised inverse element, the right and left identity are all equal to . It was also shown that the following relation

(1) |

is a partial order in a generalised inverse semigroup. To prove it we used a lemma saying that if are idempotent elements, the operation is commutative.

It was proved in [9] that we can obtain an inverse semigroup from every generalised inverse semigroup joining an element . Then (, is a semigroup where the operation is defined in the following way:

when the operation is defined, |

in the other case. |

We will also use the theorem which was proved
in [10] and says that if _{ }is
a pseudogroup of transformations on a topological space ,
then is a generalised
inverse semigroup with identity. Of course we can
replace a pseudogroup
of transformations by a pseudogroup of functions and the theorem will be true.
It was shown in [10] that even a Schouten-Haantjes pseudogroup is a generalised
inverse semigroup. As the definition of Schouten-Haantjes is more general, we
can also say that a pseudogroup of functions is a generalised inverse
semigroup. It was also proved in [11] that every generalised inverse semigroup
is isomorphic to
a Schouten-Haantjes pseudogroup.

Now we will formulate the problems. What can we say when we consider pseudogroups on discrete topological spaces? What can we say when we consider pseudogroups on discrete topological space with a finite number of elements? Is there any influence of topology on algebraic structure as it was in the case of antidiscrete topology [12]. We can formulate the following theorems.

**Theorem 1. ***Domains of functions belonging to an Ehresmann pseudogroup on
a discrete topological space together with the empty set create a σ-body.*

**Proof. **As it was shown in [1], the domains with the empty set consist a
topology for all pseudogroups of functions but it is not enough. It will be a
σ-body because in a case discrete topological space this family consists
of all subsets of the given set which is of course enough to be a σ-body.

**Theorem 2. ***We can obtain an Ehresmann pseudogroup on a discrete topological
space with the finite number of elements joining to every cycling group the
restrictions its elements to all subsets.*

**Proof. **We have to check all axioms of the definition of a pseudogroup which
is not difficult. Of course it is better to use Definition 2. We get what we
need using
axioms of a group.

**Theorem 3.*** If a generalised inverse semigroup is isomorphic with a pseudogroup
of transformations on a discrete topological space then for any idempotent
exists smaller or equal to it idempotent for which does not exist smaller
idempotent.*

**Proof. **These idempotents for which a smaller idempotent does not exist will
be
of course idempotents isomorphic to transformations on singletons.

3. Conclusions

It was shown in [13] that for generalized inverse semigroups isomorphic to a pseudogroup of transformations on a topological space there exists the largest element in the set of idempotent elements. For pseudogroups of transformations on discrete topological spaces, it is also possible to notice the influence of topology on relation of partial order. Of course Theorem 3 is not true for all pseudogroups. For example, it is not true for pseudogroup of transformations defined on the space of real numbers with natural topology.

References

[1] Lipińska J., Diffeomorphisms of quasi-algebraic spaces, Demonstratio Mat. 1986, 19, 139-151.

[2] Lipińska J., Groups of transformations as pseudogroups of functions, Prace Naukowe Instytutu Matematyki i Informatyki 2006, 1(5).

[3] Kubarski J., Exponential mapping for Lie groupoids, Colloquium Mathematicum 1982, XLVII, Fasc. 2, 268-282.

[4] Odzijewicz A., Sliżewska A., Groupoids and inverse semigroups associated to W*-algebras, Cornell University Library 2011, 1-43, http://arxiv.org/pdf/1110.6305.pdf

[5] Srinivas K.V.R., Nandakumar R., Algebraic properties and examples of inverse semigroups, Proyecciones Journal of Mathematics 2009, 28, 3, 227-232.

[6] Kobayashi S., Nomizu K., Foundations of Differential Geometry I, New York, London 1963.

[7] Kucharzewski M., Elementy teorii obiektów geometrycznych, U. Śl., Katowice 1969.

[8] Lipińska J., Uogólniona półgrupa inwersyjna i jej własności, Zeszyty Naukowe Pol. Śl. Mat.-Fiz. 1981, 39, 287-295.

[9] Lipińska J., Stosunek uogólnionej półgrupy inwersyjnej do innych systemów algebraicznych z jedną dwuargumentową częściową operacją, Zeszyty Naukowe Pol. Śl. Mat.-Fiz. 1981, 39, 305-310.

[10] Lipińska J., Przykłady uogólnionych półgrup inwersyjnych, Zeszyty Naukowe Pol. Śl. Mat.-Fiz. 1981, 39, 297-303.

[11] Lipińska J., Algebraizacja pseudogrupy Schoutena-Haantjesa, Zeszyty Naukowe Pol. Śl. Mat.-Fiz. 1981, 39, 311-317.

[12] Lipińska J., Pseudogroups of transformations on antidiscrete topological spaces, Scientific Research of the Institute of Mathematics and Computer Science 2012, 3(11), 93-97.

[13] Lipińska J., Properties of partial order in generalised inverse semigroups, Scientific Research of the Institute of Mathematics and Computer Science 2011, 1(10), 145-149.