Generalised Scalar and Vector Products in A3\mathbb{A}^3

Anyone who wanders in here knows that if you have two vectors uu and vv in V3\mathbb{V}^3 (the associated vector space of A3\mathbb{A}^3) the Euclidean scalar product uvu \cdot v and the Euclidean vector product u×vu \times v are defined as usual and satisfies some properties. A big problem with some of these properties is that taking "lengths" of vectors is highly problematic; square roots are very hard to compute, let alone non-existent in finite fields. Moreover, "sines" and "cosines" of "angles" (whatever those terms mean) are not well-defined and require the use of techniques from integral calculus & (infinite) power series (specifically those of the Maclaurin flavour).

Let us now strip everything back and generalise our definitions of scalar and vector products so that we can apply what we have for a general field (not of characteristic 22) and for arbitrary geometries.

Starting with V3\mathbb{V}^3, the associated vector space of A3\mathbb{A}^3, we equip a symmetric bilinear form on it and represent it by the matrix B B , so we can define such a symmetric bilinear form by

uBvuBvT. u \cdot_B v \equiv uBv^T.

This gives us a generalised scalar product, which we will call the BB-scalar product. The Euclidean scalar product corresponds to the case when BB is the 3×33 \times 3 identity matrix.

We can also define a generalised vector product on V3\mathbb{V}^3 by

u×Bv(u×v)adj(B). u \times_B v \equiv (u \times v) \text{adj}(B).

Here, we use u×vu \times v to denote the Euclidean vector product. The generalised operation is called a BB-vector product, and from here we can modify our usual results of vector products with respect to the matrix representation BB.

To end this note, we see that by stripping back all geometrical meaning our definitions of BB-scalar products and BB-vector products easily generalise to arbitrary geometries, parameterised by the symmetric bilinear form with matrix representation BB (which gives different definitions of perpendicularity), as well as arbitrary fields not of characteristic 22.

Want more? Keep a look out for my PhD thesis, to be submitted in 4 weeks time!

Note by A Former Brilliant Member
1 year, 2 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link]( link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}


Sort by:

Top Newest

Looking forward to it! Thank you for sharing Gennady!

Also, have you read "A new look at multi-set theory"(Wildberger) I was wondering if you felt confident enough to apply finite fields to this framework?(The one where he "creatively hijacks" mini-max algebra... to do away with the zero denominator problem).

I must say that the concepts of multi-set definitely needs to be made better use of to allow us to better communicate to each other.

Peter Michael - 1 year, 1 month ago

Log in to reply

Thanks Peter! Yes, I have read Wildberger's paper on multisets; he has extended the framework over the past 1-2 years to make it more concise, but it's a very good start nonetheless. It's hard these days bouncing back and forth various research topics just to keep up appearances, so it might be a big ask for him to revisit this topic.

A Former Brilliant Member - 1 year, 1 month ago

Log in to reply

I would love to know how he extended this!!!

I can only imagine the fire juggling act he continues to do but if I could understand how to apply that framework to say chromogeometry, UHG, and rat-trig. I really think I could make a break-through on connecting the rubiks cube to modelling these theories to help young people(and myself, if I am being honest) to better understand the continuum and how to move towards helping others feel more confident in their understanding... on their own terms(without my preaching at them.)

My biggest goals is to have a course (mathematics) that allows people to explore just enough mathematics as they so desire with the help of a manipulative that they can explore, discover and understand for themselves. Without another person "yelling" at them.

The amount of progress that can be made would be... remarkable to say the least.

Any chance you can give me the "list" of this extension? Or where I could read about it?

Always great to hear from you!

Peter Michael - 1 year, 1 month ago

Log in to reply

@Peter Michael Have a look at his YouTube channel; I think he introduced four types of data structures, each with clear specifications on what is and isn't allowed. I haven't looked into this that much; set theory interests me very little.

Always great to hear from you!

Given that I'm about to submit my PhD thesis in two weeks, thanks for the appreciation!

A Former Brilliant Member - 1 year, 1 month ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...