[ilmath]\mathbb{K} [/ilmath] (field)

Stub grade: D

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Created to define what [ilmath]\mathbb{K} [/ilmath] means when encountered as a field (eg if [ilmath](X,\mathbb{K})[/ilmath] is a vector space - Alec (talk) 03:54, 8 April 2017 (UTC)

• Also make sure that the doctrine page lists references that this page does, as they're the same thing!

Meaning

As per the Doctrine:K (field) we use [ilmath]\mathbb{K} [/ilmath] to denote a field which is either the field of real numbers, [ilmath]\mathbb{R} [/ilmath], or the field of complex numbers, [ilmath]\mathbb{C} [/ilmath].

This only applies if we do not explicitly define what [ilmath]\mathbb{K} [/ilmath] is, in the absence of any mention of what [ilmath]\mathbb{K} [/ilmath] is the doctrine applies and it is a stand in for either [ilmath]\mathbb{R} [/ilmath] or [ilmath]\mathbb{C} [/ilmath].

This convention is not unusual.

Caveats

1. If we say "let [ilmath](X,\mathbb{K})[/ilmath] and [ilmath](Y,\mathbb{K})[/ilmath] be vector spaces" it is unclear whether [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] are both over the same field or not.
   • We will qualify this with "over the same field" or "over potentially distinct fields"; or use [ilmath]\mathbb{K}_1[/ilmath] and [ilmath]\mathbb{K}_2[/ilmath] if the fields will play a part in what is to come.
2. If we say "let [ilmath](X,\mathbb{K})[/ilmath] be a vector space over the field [ilmath]\mathbb{K} [/ilmath]" it suggests that [ilmath]\mathbb{K} [/ilmath] is just being used to represent the field, the doctrine doesn't apply then. It'd be as if the more conventional [ilmath]\mathbb{F} [/ilmath] were used instead.