Contents

# Contents

## Definition

Given $V$ a complex vector space, a function $f \colon V \to V$ as antilinear or conjugate linear if

• it respects sums of vectors: for all $v_1, v_2$ in $V$ we have $f(v_1 + v_2) = f(v_1) + f(v_2)$

• it preserves multiplication by complex numbers up to complex conjugation $\overline{(-)}$: for all $c \in \mathbb{C}$ and $v \in c$ we have $f(c \cdot v) = \overline{c}\cdot f(v)$.

Last revised on November 1, 2017 at 17:39:17. See the history of this page for a list of all contributions to it.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7711211,"math_prob":0.9996231,"size":591,"snap":"2021-04-2021-17","text_gpt3_token_len":151,"char_repetition_ratio":0.103918225,"word_repetition_ratio":0.0,"special_character_ratio":0.21658206,"punctuation_ratio":0.2072072,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9997021,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-04-23T11:28:06Z\",\"WARC-Record-ID\":\"<urn:uuid:96f5d5f2-b26c-4547-99c2-41d154bf1e5f>\",\"Content-Length\":\"25367\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b1e195be-a566-4691-8274-3e2fa7d5de1c>\",\"WARC-Concurrent-To\":\"<urn:uuid:60450e70-f4a6-43b6-bec4-a1ec72a74be9>\",\"WARC-IP-Address\":\"172.67.137.123\",\"WARC-Target-URI\":\"https://ncatlab.org/nlab/show/antilinear+map\",\"WARC-Payload-Digest\":\"sha1:XCUUCZBZ6VCCB5X2U26IO4MMXCFCVQFS\",\"WARC-Block-Digest\":\"sha1:EOCWIG5WRB4J6OTICRIUOJJIW6U7SDNU\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-17/CC-MAIN-2021-17_segments_1618039617701.99_warc_CC-MAIN-20210423101141-20210423131141-00510.warc.gz\"}"}