On a Characterization of Closure Operators by Identities on Semigroups

Author(s):  
R. Thron ◽  
J. Koppitz
Keyword(s):  
Filomat ◽  
2016 ◽  
Vol 30 (1) ◽  
pp. 131-140 ◽  
Author(s):  
Mehmet Baran ◽  
Sumeyye Kula ◽  
T.M. Baran ◽  
M. Qasim

In this paper, the characterization of closed and strongly closed subobjects of an object in category of semiuniform convergence spaces is given and it is shown that they induce a notion of closure which enjoy the basic properties like idempotency,(weak) hereditariness, and productivity in the category of semiuniform convergence spaces. Furthermore, T1 semiuniform convergence spaces with respect to these two new closure operators are characterized.


Filomat ◽  
2017 ◽  
Vol 31 (16) ◽  
pp. 5369-5377 ◽  
Author(s):  
Ghour Al ◽  
Bayan Irshedat

We define the ??-closure operator as a new topological operator. We show that ??-closure of a subset of a topological space is strictly between its usual closure and its ?-closure. Moreover, we give several sufficient conditions for the equivalence between ??-closure and usual closure operators, and between ??-closure and ?-closure operators. Also, we use the ??-closure operator to introduce ??-open sets as a new class of sets and we prove that this class of sets lies strictly between the class of open sets and the class of ?-open sets. We investigate ??-open sets, in particular, we obtain a product theorem and several mapping theorems. Moreover, we introduce ?-T2 as a new separation axiom by utilizing ?-open sets, we prove that the class of !-T2 is strictly between the class of T2 topological spaces and the class of T1 topological spaces. We study relationship between ?-T2 and ?-regularity. As main results of this paper, we give a characterization of ?-T2 via ??-closure and we give characterizations of ?-regularity via ??-closure and via ??-open sets.


2004 ◽  
Vol Vol. 6 no. 2 ◽  
Author(s):  
Karell Bertet ◽  
Mirabelle Nebut

International audience An implication system (IS) on a finite set S is a set of rules called Σ -implications of the kind A →_Σ B, with A,B ⊆ S. A subset X ⊆ S satisfies A →_Σ B when ''A ⊆ X implies B ⊆ X'' holds, so ISs can be used to describe constraints on sets of elements, such as dependency or causality. ISs are formally closely linked to the well known notions of closure operators and Moore families. This paper focuses on their algorithmic aspects. A number of problems issued from an IS Σ (e.g. is it minimal, is a given implication entailed by the system) can be reduced to the computation of closures φ _Σ (X), where φ _Σ is the closure operator associated to Σ . We propose a new approach to compute such closures, based on the characterization of the direct-optimal IS Σ _do which has the following properties: \beginenumerate ıtemit is equivalent to Σ ıtemφ _Σ _do(X) (thus φ _Σ (X)) can be computed by a single scanning of Σ _do-implications ıtemit is of minimal size with respect to ISs satisfying 1. and 2. \endenumerate We give algorithms that compute Σ _do, and from Σ _do closures φ _Σ (X) and the Moore family associated to φ _Σ .


Author(s):  
B. L. Soloff ◽  
T. A. Rado

Mycobacteriophage R1 was originally isolated from a lysogenic culture of M. butyricum. The virus was propagated on a leucine-requiring derivative of M. smegmatis, 607 leu−, isolated by nitrosoguanidine mutagenesis of typestrain ATCC 607. Growth was accomplished in a minimal medium containing glycerol and glucose as carbon source and enriched by the addition of 80 μg/ ml L-leucine. Bacteria in early logarithmic growth phase were infected with virus at a multiplicity of 5, and incubated with aeration for 8 hours. The partially lysed suspension was diluted 1:10 in growth medium and incubated for a further 8 hours. This permitted stationary phase cells to re-enter logarithmic growth and resulted in complete lysis of the culture.


Author(s):  
A.R. Pelton ◽  
A.F. Marshall ◽  
Y.S. Lee

Amorphous materials are of current interest due to their desirable mechanical, electrical and magnetic properties. Furthermore, crystallizing amorphous alloys provides an avenue for discerning sequential and competitive phases thus allowing access to otherwise inaccessible crystalline structures. Previous studies have shown the benefits of using AEM to determine crystal structures and compositions of partially crystallized alloys. The present paper will discuss the AEM characterization of crystallized Cu-Ti and Ni-Ti amorphous films.Cu60Ti40: The amorphous alloy Cu60Ti40, when continuously heated, forms a simple intermediate, macrocrystalline phase which then transforms to the ordered, equilibrium Cu3Ti2 phase. However, contrary to what one would expect from kinetic considerations, isothermal annealing below the isochronal crystallization temperature results in direct nucleation and growth of Cu3Ti2 from the amorphous matrix.


Author(s):  
B. H. Kear ◽  
J. M. Oblak

A nickel-base superalloy is essentially a Ni/Cr solid solution hardened by additions of Al (Ti, Nb, etc.) to precipitate a coherent, ordered phase. In most commercial alloy systems, e.g. B-1900, IN-100 and Mar-M200, the stable precipitate is Ni3 (Al,Ti) γ′, with an LI2structure. In A lloy 901 the normal precipitate is metastable Nis Ti3 γ′ ; the stable phase is a hexagonal Do2 4 structure. In Alloy 718 the strengthening precipitate is metastable γ″, which has a body-centered tetragonal D022 structure.Precipitate MorphologyIn most systems the ordered γ′ phase forms by a continuous precipitation re-action, which gives rise to a uniform intragranular dispersion of precipitate particles. For zero γ/γ′ misfit, the γ′ precipitates assume a spheroidal.


Author(s):  
R. E. Herfert

Studies of the nature of a surface, either metallic or nonmetallic, in the past, have been limited to the instrumentation available for these measurements. In the past, optical microscopy, replica transmission electron microscopy, electron or X-ray diffraction and optical or X-ray spectroscopy have provided the means of surface characterization. Actually, some of these techniques are not purely surface; the depth of penetration may be a few thousands of an inch. Within the last five years, instrumentation has been made available which now makes it practical for use to study the outer few 100A of layers and characterize it completely from a chemical, physical, and crystallographic standpoint. The scanning electron microscope (SEM) provides a means of viewing the surface of a material in situ to magnifications as high as 250,000X.


Author(s):  
D. F. Blake ◽  
L. F. Allard ◽  
D. R. Peacor

Echinodermata is a phylum of marine invertebrates which has been extant since Cambrian time (c.a. 500 m.y. before the present). Modern examples of echinoderms include sea urchins, sea stars, and sea lilies (crinoids). The endoskeletons of echinoderms are composed of plates or ossicles (Fig. 1) which are with few exceptions, porous, single crystals of high-magnesian calcite. Despite their single crystal nature, fracture surfaces do not exhibit the near-perfect {10.4} cleavage characteristic of inorganic calcite. This paradoxical mix of biogenic and inorganic features has prompted much recent work on echinoderm skeletal crystallography. Furthermore, fossil echinoderm hard parts comprise a volumetrically significant portion of some marine limestones sequences. The ultrastructural and microchemical characterization of modern skeletal material should lend insight into: 1). The nature of the biogenic processes involved, for example, the relationship of Mg heterogeneity to morphological and structural features in modern echinoderm material, and 2). The nature of the diagenetic changes undergone by their ancient, fossilized counterparts. In this study, high resolution TEM (HRTEM), high voltage TEM (HVTEM), and STEM microanalysis are used to characterize tha ultrastructural and microchemical composition of skeletal elements of the modern crinoid Neocrinus blakei.


Sign in / Sign up

Export Citation Format

Share Document