What Are Codomains, Morphisms, and Transfinite Numbers in Mathematics?

  • Context: Graduate 
  • Thread starter Thread starter Skhandelwal
  • Start date Start date
Click For Summary
SUMMARY

This discussion clarifies the concepts of codomains, morphisms, and transfinite numbers in mathematics. A codomain is defined as the set into which a function maps, exemplified by the cardinality function mapping finite sets to nonnegative integers. Morphisms are categorized into types such as homomorphisms (structure-preserving), isomorphisms (invertible), endomorphisms (same domain and codomain), and automorphisms (invertible endomorphisms). Transfinite numbers, such as Aleph_0 and c (the cardinality of the continuum), represent cardinalities that exceed finite sets.

PREREQUISITES
  • Understanding of basic set theory and functions
  • Familiarity with cardinality concepts
  • Knowledge of mathematical notation and terminology
  • Basic grasp of algebraic structures and mappings
NEXT STEPS
  • Research "Cardinality in set theory" for a deeper understanding of finite and transfinite sets
  • Study "Types of morphisms in category theory" to explore the different morphism classifications
  • Examine "Aleph numbers and the continuum hypothesis" for insights into transfinite numbers
  • Utilize "MathWorld" as a resource for definitions and explanations of mathematical concepts
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced mathematical concepts such as set theory and category theory.

Skhandelwal
Messages
400
Reaction score
3
I don't understand...

These are things that I have tried looking up but still don't get it. What is..
1. Codomain
2. Morphism(homo, mono, iso, endo, auto, etc.)
3. Transfinite numbers
 
Physics news on Phys.org
A codomain is what a function maps into. Take the cardinality function: given a finite set it returns the number of elements. It might be described as mapping [tex]\mathcal{S}\rightarrow\mathbb{Z}[/tex] where [tex]\mathcal{S}[/tex] is the class of all sets. The range is a subset of the domain; it's the values which the function can actually take. In this case the range is the nonnegative integers.

For another example, [tex]x\mapsto x^2[/tex] on [tex]\mathbb{Z}\rightarrow\mathbb{Z}[/tex] has domain Z, codomain Z, and range {0, 1, 4, 9, 16, ...}. The range could be equal to the codomain, but it's seldom expressed that way (because mathematicians prefer to use a 'major' or well-known set as the codomain, usually one of the blackboard bold ones. :biggrin:).
 
1. Done.
2. A map. Homo means structure preserving, iso means invertible, endo means the domain and codomain are the same, i.e. a map f:X-->X, and auto is an invertible endo. All of these can be found simply by using google, by the way. If you have any more 'what is the definition' questions your first step should always be to use google to look them up (mathworld is a useful online resource). Of course, if you mean 'I have the definition but don't understand it' then it would be better if you wrote out what you think the definition is so someone can explain it to you.
3. The cardinals come with an arithmetic. The transfinite ones are those that are not cardinals of finite sets. E.g. Alpeh_0, c the cardinality of the continuum.
 
Last edited:

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 25 ·
Replies
25
Views
3K