# Linear variety

A subset $M$ of a (linear) vector space $E$ that is a translate of a linear subspace $L$ of $E$, that is, a set $M$ of the form $x_0 + L$ for some $x_0$. The set $M$ determines $L$ uniquely, whereas $x_0$ is defined only modulo $L$: $$x_0 + L = x_1 + N$$ if and only if $L = N$ and $x_1 - x_0 \in L$. The dimension of $M$ is the dimension of $L$. A linear variety corresponding to a subspace of codimension 1 is called a hyperplane.
A linear variety may be alternatively characterised as a non-empty subset $M$ of $E$ such that the set $L =\{ m_1 - m_2 : m_1,m_2 \in M \}$ is a linear subspace of $E$; or such that for a fixed $m_0 \in M$ the set $L =\{ m_1 - m_0 : m_1 \in M \}$ is a linear subspace; or as a set closed under linear combinations $\sum_i \lambda_i m_i$ where $m_i \in M$ and $\sum_i \lambda_i = 1$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7090013,"math_prob":1.0000076,"size":1185,"snap":"2021-43-2021-49","text_gpt3_token_len":383,"char_repetition_ratio":0.14563929,"word_repetition_ratio":0.03827751,"special_character_ratio":0.33670887,"punctuation_ratio":0.12184874,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000091,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-16T00:05:31Z\",\"WARC-Record-ID\":\"<urn:uuid:ec54fe6d-c2d8-4d97-81cf-6819466e45b9>\",\"Content-Length\":\"14803\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:1e23292e-c67f-4ced-b76f-e3c27f5a44e3>\",\"WARC-Concurrent-To\":\"<urn:uuid:f55c8063-16c1-4f6a-bb23-e4f7514e1a84>\",\"WARC-IP-Address\":\"34.96.94.55\",\"WARC-Target-URI\":\"https://encyclopediaofmath.org/wiki/Linear_variety\",\"WARC-Payload-Digest\":\"sha1:JFMOJH26Y6AECCS44I3FUBSN4EQC7WW3\",\"WARC-Block-Digest\":\"sha1:REZG6X366573GJV7X4MHI4G2X4CGAISW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323583087.95_warc_CC-MAIN-20211015222918-20211016012918-00707.warc.gz\"}"}