# Definition:Square/Mapping

(Redirected from Definition:Square Mapping)

## Definition

Let $\struct {S, \circ}$ be an algebraic structure.

Let $f: S \to S$ be the mapping from $S$ to $S$ defined as:

$\forall x \in S: \map f x := x \circ x$

This is usually denoted $x^2$:

$x^2 := x \circ x$

### Element

A square (element of $S$) is an element $y$ of $S$ for which:

$\exists x \in S: y = x^2$

Such a $y = x^2$ is referred to as the square of $x$.

## Square Function

The square mapping (or square function) is usually defined in the context of the standard number systems:

Let $\F$ denote one of the standard classes of numbers: $\N$, $\Z$, $\Q$, $\R$, $\C$.

### Definition 1

The square (function) on $\F$ is the mapping $f: \F \to \F$ defined as:

$\forall x \in \F: \map f x = x \times x$

where $\times$ denotes multiplication.

### Definition 2

The square (function) on $\F$ is the mapping $f: \F \to \F$ defined as:

$\forall x \in \F: \map f x = x^2$

where $x^2$ denotes the $2$nd power of $x$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.68616676,"math_prob":1.000009,"size":1035,"snap":"2020-10-2020-16","text_gpt3_token_len":335,"char_repetition_ratio":0.12997091,"word_repetition_ratio":0.20634921,"special_character_ratio":0.3410628,"punctuation_ratio":0.13063063,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-19T01:59:20Z\",\"WARC-Record-ID\":\"<urn:uuid:6ba1d356-c248-44ad-8531-2a8005e3ebf0>\",\"Content-Length\":\"34032\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:52d6ba07-e01b-4d62-bb8b-b3364bd5116c>\",\"WARC-Concurrent-To\":\"<urn:uuid:7cfb4e3d-e0c2-4924-b213-c109dd2ef26c>\",\"WARC-IP-Address\":\"104.27.169.113\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Square_Mapping\",\"WARC-Payload-Digest\":\"sha1:O5IJ5VPGL4RFCYQOOWGHOY35ESUQKJMJ\",\"WARC-Block-Digest\":\"sha1:FFN3KMBDGVPNKQFHJFRWEDQ4VKFDP23O\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875143963.79_warc_CC-MAIN-20200219000604-20200219030604-00489.warc.gz\"}"}