# Definition:Support of Mapping to Algebraic Structure

Jump to navigation
Jump to search

This page has been identified as a candidate for refactoring of basic complexity.In particular: Complete definitions, then make subpagesUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

### Real-Valued Function on an Abstract Set

Let $S$ be a set.

Let $f: S \to \R$ be a real-valued function.

The **support of $f$** is the set of elements $x$ of $S$ whose values under $f$ are non-zero.

That is:

- $\map \supp f := \set {x \in S: \map f x \ne 0}$

### General Real-Valued Function in $\R^n$

### General Algebraic Structure

Let $\struct {A, *}$ be an algebraic structure with an identity element $e$.

Let $S$ be a set.

Let $f: S \to A$ be a mapping.

The **support of $f$** is the set:

- $\map \supp f = \set {s \in S : \map f s \ne e}$

This article is complete as far as it goes, but it could do with expansion.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sequence

Note that by definition, a sequence is a mapping, so that the definition of support applies in particular to sequences.

## Also denoted as

The **support of $f$** can also be seen denoted as $\map {\mathrm {Supp} } f$.