umu.sePublications
Change search

Cite
Citation style
• apa
• ieee
• modern-language-association-8th-edition
• vancouver
• Other style
More styles
Language
• de-DE
• en-GB
• en-US
• fi-FI
• nn-NO
• nn-NB
• sv-SE
• Other locale
More languages
Output format
• html
• text
• asciidoc
• rtf
Extension structures and compactifications
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2000 (English)Conference paper, Published paper (Refereed)
##### Abstract [en]

The notion of extension structure [2] depends on a fixed set functor j: \sf SET --> \sf SET. We therefore also speak on a j-extension structure. This notion contains important structural properties of Cauchy structures and is basically for a general completion theory. Let X be a set. By a j-extension structure on X we mean a triple (S, T, ~ ) consisting of two sets S subset or equal jX and T subset or equal jX ×X and an equivalence relation ~ on S such that, writing M \usebox\ko x instead of (M, x) in T, we have that (1)  M \usebox\ko x implies M in S, (2) M \usebox\ko x and M ~ N imply N \usebox\ko x, and (3) from M \usebox\ko x and N \usebox\ko x it follows M ~ N.

j-extension structure (S, T, ~ ) and also the related j-extension space (X, (S, T, ~ )) is said to be separated provided that M \usebox\ko x and M\usebox\ko y imply x = y, and they are said to be complete provided that for each M in S there is an element x of X such thatM \usebox\ko x holds.

We have that the category of all separated and complete j-extension spaces is an epireflective subcategory of the category of all separated j-extension spaces. As is shown in [3], the related completion construction can be applied for generating completion theorems in algebra, lattice theory and general topology, in particular they lead to a universal completion for Cauchy-spaces in the fuzzy filter case. Since compactifications can be identified with special Cauchy-completions, even different types of compactifications can be generated.

Among others, we present in this paper new results on the Richardson compactification for the fuzzy filter case applying new results on fuzzy filters. Note that this type of compactification was already treated in [1]. For a fixed non-degenerate infinitely distributive complete lattice L, here we mean by a fuzzy filter a mapping M: LX --> L such that M([0]) = 0 and M([1]) = 1 for the constant fuzzy sets [0], [1] in LX and M(f /\ g) = M(f) /\ M(g) for all fuzzy sets f, g in LX.

A fuzzy filter M is said to be bounded in case M(f) <= supf holds for all f in LX. A fuzzy filter M will be called distinguished provided that M(f \/ g) = M(f) \/ M(g) holds for all f, g in LX. Moreover, M will be called balanced provided that a distinguished fuzzy filter finer thanM exists.

In the general fuzzy filter case under the zero-condition of L (\alpha > 0,  \beta > 0   ===>  \alpha /\ \beta > 0) all fuzzy filters are balanced. In this case the Richardson compactification exists.

In the case of bounded fuzzy filters there may be fuzzy filters which are not balanced. If in this case we restrict us to balanced fuzzy filters, then the Richardson compactification also exists.

[1] P. Eklund, W. Gähler, Completions and compactifications by means of monads, in: Fuzzy Logic, State of Art, Kluwer, Dortrecht/Boston/London 1993, 39-56

[2] W. Gähler, Completion theory, in: Mathematisches Forschungsinstitut Oberwolfach, Tagungsbericht 48/1991, 8

[3] W. Gähler, Extension structures and completions in topology and algebra, 2000

2000. p. 181-205
Mathematics
##### Identifiers
OAI: oai:DiVA.org:umu-80600DiVA, id: diva2:650497
##### Conference
Categorical Methods in Algebra and Topology, CatMAT 2000, August 21 - 25, Bremen, Germany
Available from: 2013-09-22 Created: 2013-09-22 Last updated: 2018-06-08Bibliographically approved

#### Open Access in DiVA

No full text in DiVA

Eklund, Patrik

#### Search in DiVA

Eklund, Patrik
##### By organisation
Department of Computing Science
Mathematics

urn-nbn

#### Altmetric score

urn-nbn
Total: 60 hits

Cite
Citation style
• apa
• ieee
• modern-language-association-8th-edition
• vancouver
• Other style
More styles
Language
• de-DE
• en-GB
• en-US
• fi-FI
• nn-NO
• nn-NB
• sv-SE
• Other locale
More languages
Output format
• html
• text
• asciidoc
• rtf