Kernel (set theory)

In set theory, the kernel of a function f may be taken to be either

Definition

For the formal definition, let X and Y be sets and let f be a function from X to Y. Elements x1 and x2 of X are equivalent if f(x1) and f(x2) are equal, i.e. are the same element of Y. The kernel of f is the equivalence relation thus defined.[1]

Quotients

Like any equivalence relation, the kernel can be modded out to form a quotient set, and the quotient set is the partition:

This quotient set X /=f is called the coimage of the function f, and denoted coim f (or a variation). The coimage is naturally isomorphic (in the set-theoretic sense of a bijection) to the image, im f; specifically, the equivalence class of x in X (which is an element of coim f) corresponds to f(x) in Y (which is an element of im f).

As a subset of the square

Like any binary relation, the kernel of a function may be thought of as a subset of the Cartesian product X × X. In this guise, the kernel may be denoted ker f (or a variation) and may be defined symbolically as

.[1]

The study of the properties of this subset can shed light on f.

In algebraic structures

If X and Y are algebraic structures of some fixed type (such as groups, rings, or vector spaces), and if the function f from X to Y is a homomorphism, then ker f is a congruence relation (that is an equivalence relation that is compatible with the algebraic structure), and the coimage of f is a quotient of X.[1] The bijection between the coimage and the image of f is an isomorphism in the algebraic sense; this is the most general form of the first isomorphism theorem. See also Kernel (algebra).

In topological spaces

If X and Y are topological spaces and f is a continuous function between them, then the topological properties of ker f can shed light on the spaces X and Y. For example, if Y is a Hausdorff space, then ker f must be a closed set. Conversely, if X is a Hausdorff space and ker f is a closed set, then the coimage of f, if given the quotient space topology, must also be a Hausdorff space.

gollark: For users who are citizens of the European Union, we will now be requesting permission before initiating organ harvesting. This software uses an army of frogs that throw cookies in the general direction of your computer. By using it, you agree that these frogs may throw cookies.
gollark: We may use your data for various purposes, such as: responding appropriately to user input/commands providing and managing mandatory software updates communication with users, where necessary - for example to provide notifications about upcoming events and product announcements [LEVEL 5 CLEARANCE REQUIRED] anything PotatOS Things are programmed to do entertainment and/or random messing around helping to deliver, create, develop, improve, design, operate, manage, produce, modernize, complicate, nationalize, placate, evolve, alter, amend, change, obliterate, or worsen our products and services anything whatsoever
gollark: We wish to remind all users that regardless of recent rumors, potatOS is not responsible for and not associated with SCP-3125. SCP-3125 must not be interacted with. “██████ Siri” (PS#ABB85797) must not be interacted with.
gollark: THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
gollark: The software includes Adobe Flash Player that is licensed under terms from Adobe Systems Incorporated. Adobe and Flash are either registered trademarks or trademarks of Adobe Systems Incorporated in the United States and/or other countries.

References

  1. Bergman, Clifford (2011), Universal Algebra: Fundamentals and Selected Topics, Pure and Applied Mathematics, 301, CRC Press, pp. 14–16, ISBN 9781439851296.

Sources

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.