Jump to content

User:Rafael Cabanillas Murillo/sandbox

From Wikipedia, the free encyclopedia

Gallery of mathematical correspondences

[edit]


Main concepts

[edit]

Here, in this section, we will define some main concepts related with mathematical correspondences:

  • Cardinality of a set: Suppose we have a set with a finite number of elements. Then, the cardinality of the set is the number of elements that is has got.
For example: Let be a set with some elements. Let these elements belower case letters: . Then, the cardinality of is 7 because we can count seven letters. That is, using mathematical language:
  • Image of a correspondence: For example if we have an element that belongs to a set (In mathematical language: ), and an element ∈ to another set (In mathematical language: ) and there is a mathematical relationship from to , using other words, is related with . Then has an image: .
  • Mathematical Relation: Let suppose that we have an element and an element . Let's suppose there are a relation from to . In mathematical language, that is represented using an arrow from to :
.
A good example of that is:
Let's suppose that we know a person called Peter. It has 20 years old. Then, we can define a relation from Peter to 20:
.

Definition of a mathematical correspondence

[edit]

A mathematical correspondence is a mathematical relationship that involves some mathematical sets. It tells us the relation between these sets.

For example, if we have 2 sets, denoted with and , then imagine that has the same cardinality as (that is, the same number of elements).

  • We are going to call the elements in : .
  • We are going to do the same with : .

In mathematics, we define a correspondence from to using that kind of language:

And we define the behaviour of the correspondence too: F is a correspondence that relates every with every where and .

That is, explained in a more graphical way:

Bijective generic application
Bijective generic application

In short, is a correspondence because it relates elements with elements .


Let's explain now a simpler, more trivial example. But probably it will be more bearable for you to understand:

Imagine that three people want to travel from Alaska to EEUU. Their names are: Maria, Peter and Astrid. There are three means of transportation: By train, by car and by plane.

Maria likes travelling by car, and train. We can relate the element Maria with the elements "car" and "train".

Peter likes travelling by plane. We can relate the element "Peter" with the element "plane".

Astrid likes travelling by train. Finally, we make a mathematical relationship that goes from the element "Astrid" to the element "train".

Graphically, that is:

Representative example of a mathematical correspondence
Representative example of a mathematical correspondence

In the next section, we will describe many types of correspondences.

Types of mathematical correspondences

[edit]

The inverse of a correspondence

[edit]

An inverse correspondence is the contrary relation of a correspondence. If we denote a correspondence by , them, its inverse is denoted .

For example, we have two sets:

, , ,

and

, , ,

Suposse that it exist a relation (Let's call it S) between the elements in P and the elements in T. To construct the inverse of S (Let's call it ), all we have to do is invert the relations (ie, if in is the image of , then in is the image of .

This is the correspondence
This is the inverse of the correspondence ,

Univocal correspondence

[edit]

An univocal correspondence is a relation where every element in the set is related with one or with no elements in the set . An element in the set cannot be related with two or more elemments in .

Example 1
Example 2
Example 3
Example 4

Non Univocal Correspondence

[edit]

A non univocal correspondence is a relation where at least one element in the set is related with two or more elements in the set .

Example 1
Example 2
Example 3
Example 4

Biunivocal correspondence

[edit]

A biunivocal correspondence is a relation which is univocal and whose inverse is univocal too. That is, every element in is related with one or none elements in and every element in is related with one or none elements in .

Example of the correspondence
Example of the correspondence

Non biunivocal correspondence

[edit]

An non biunivocal correspondence is a relation which is univocal and whose inverse is not univocal. That is, every element in is related with one or none elements in and at least one element in is related with two or more elements in .

Example of the correspondence
Example of the correspondence

Definition of function or application

[edit]

An application or a function is a special type of correspondence. I has some characteristics. To ilustrate them, we are going to define an application .

 All of the elements in have an image. That is, every element in is related with any element in
 From the latter characteristic, we can define that is univocal. It is univocal because each element in has one image (nor two or more). And because of that, satisfies the neccesary conditionnecessary condition for being univocal: "each element in A has at most 1 image".
File:FUNCTION.

Not a function

[edit]

A correspondence that it is not a function violates the two conditions explained in the previous section, when we defined what is a function.

Here you have some examples of what is not a function or an application and why:


  • When we have two sets, and and one or more elements of the set are not related with the elements in , this is not a correspondence.
  • When there are two sets, and and there is at least one element in that it is related with two or more elements in .
In this correspondence, the blue element in , has got two images.
In this correspondence, the yellow element in hasn't got any image.
In this example, the green element in , has got two images. Also, the red element in hasn't got any image.

Types of functions

[edit]

In this part of the article, we are going to see many types of functions or applications. We will explain them briefly using a triple point of view:

First, a brief explanation using the concept of image.
Then, the mathematical one. It is more suitable to define theorems using these types of explanations.
Finally, the grafical one.It is easier to understand and for those who are new to mathematical correspondences.

Injective application

[edit]
 Brief Explanation: An injective application is a function in which all the elements in hasn't to be the image of an element in . An element in cannot be the image of two or more elements in .


 Mathematical definition: Let be a function. Let be the elements that belong to the set and the elements that belong to the set .

Then, f is injective if each distinct element are related to at most one distinct element . That is, every element has, at most, one image. Then, the cardinality of must be less or equal than the cardinality of if and only if X and Y are finite sets. In mathematical language, that is:


 Graphical examples:
Particular injective application
Injective generic application

Surjective application

[edit]
 Brief Explanation: A surjective application is a function where an element in can be image of two or more elements in the set . All the elements in must be the image of at least one element in the set .


 Mathematical definition: Let be a function. Let be the elements that belong to the set and the elements that belong to the set .

Then, is surjective if every element has an image . It doesnt matter if an element has the same image as an element . This means that the cardinality of is greater or equal than the cardinality of if and only if X and Y are finite sets. That is, making use of symbols:


 Graphical examples:
Particular surjective application
Surjective generic application

Bijective application

[edit]
 Brief Explanation: A biyective application is a function that satisfies that one in is paired with one and only one element in . This condition is fullfilled for all the elements in and in .


 Mathematical definition: Let be a function. Let be the elements that belong to the set and the elements that belong to the set .

Then is bijective if it is injective and surjective at the same time. That is, every element has exactly one image . It is worth noting that the cardinality of the set must be equal to the cardinality of the set if and only if X and Y are finite sets. that is, in mathematical language:


 Graphical examples:
Particular bijective application
Bijective generic application