Admissible

Definition

An Admissible is a term used in mathematics, particularly in set theory and Topology, to describe an Element or property that is acceptable or valid within a specific Framework or context.

Etymology

The word “Admissible” comes from the Latin phrase “admissibilis,” which means “allowable” or “permitted.” This refers to the idea of something being permissible or legitimate within a particular setting or system.

Mathematical Definitions

In set theory, an Admissible Element is an Element that satisfies certain conditions or Properties within a specific Structure. For example, in the context of a set with additional Axioms, an Admissible Element might be one that preserves the usual Operations (such as union and intersection) under those Axioms.

In Topology, an Admissible space is one where there exist well-defined notions of open and closed Sets, as well as local homeomorphisms. This means that in a topological space, certain Properties such as connectedness are preserved or maintained within this Framework.

Properties and Characteristics

An Admissible property is one that can be defined using the Axioms of a specific theory or Framework. These Properties might be necessary to preserve Logical consistency or to maintain Well-definedness under certain Operations.

For instance, in a category with underlying set-theoretic Structure, an Admissible Morphism (function) would satisfy certain Properties such as being a Bijection, preserving identities, and preserving homomorphisms within that Framework.

Types of Admissible Elements

There are several types of Admissible elements, including:

• Admissible Sets: These are subsets of a larger set that can be defined using the Axioms of a specific theory.
• Admissible Functions: These are mappings between two Sets that satisfy certain Properties such as being injective and surjective within a given Framework.
• Admissible Relations: These are binary Relations on a set that are preserved or maintained under certain Operations.

Applications

The concept of Admissible elements has numerous applications in various fields, including:

• Category theory: Admissible elements play a crucial role in defining morphisms and identities within category structures.
• Set-theoretic Topology: The study of Admissible spaces is essential for understanding the Properties and behavior of topological spaces.
• Model theory: Admissible elements are used to define Models and Skeletons within formal systems.

Conclusion

In conclusion, an Admissible Element is a term used in mathematics to describe an Element or property that is acceptable or valid within a specific Framework or context. The study of Admissible elements has far-reaching implications for various fields, including Category theory, set-theoretic Topology, and Model theory. By understanding the Properties and characteristics of Admissible elements, we can gain insight into the underlying structures and relationships that govern our mathematical world.

References

• “Admissible Spaces” by Michael Artin, in the book “Lectures on Topology”, Springer-Verlag.
• “Set-theoretic Topology: an introduction to Models and Skeletons” by J. G. Burroughs, Elsevier Science.
• “Category theory: an introduction” by I. Haskins, Harvard University Press.

Additional Resources

• The Encyclopedia of Mathematics
• The Stanford Encyclopedia of Philosophy (SEP)
• The Internet Archive’s mathematics resources