- #1

- 1,030

- 4

## Main Question or Discussion Point

Why are they called "axioms"? Shouldn't they be called "definitions"?

- Thread starter Dragonfall
- Start date

- #1

- 1,030

- 4

Why are they called "axioms"? Shouldn't they be called "definitions"?

- #2

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 17

Axioms are the traditional name for the elements of a generating set of a mathematical theory.Why are they called "axioms"? Shouldn't they be called "definitions"?

- #3

HallsofIvy

Science Advisor

Homework Helper

- 41,795

- 925

- #4

tiny-tim

Science Advisor

Homework Helper

- 25,832

- 249

Hi Dragonfall!Why are they called "axioms"? Shouldn't they be called "definitions"?

One person's axiom is another person's theorem …

If a theory needs, say, five axioms, A1 to A5, from which you can easily prove a simple theorem, T, then often you can start with A1 to A4 and T as the five axioms, and prove A5 as a theorem.

We have to arbitrarily promote certain theorems to "axiom" status, to get us started.

(btw, I think you're thinking of axioms like "on a plane, for any two points there is defined a line joining them" …

this is written as a definition, but you can equally write it as a theorem … "on a plane, there is a unique line joining two points")

- #5

- 3,394

- 179

The axioms themselves are not definitions. They are properties that an arbitrary object may or may not have. We then DEFINE a vector space as a particular type of object that happens to have those properties.Why are they called "axioms"? Shouldn't they be called "definitions"?

- #6

- 1,030

- 4

- #7

HallsofIvy

Science Advisor

Homework Helper

- 41,795

- 925

- #8

- 3,394

- 179

ZFC just gives you a set of points without any additional structure, e.g., the ability to "add" two points together, or to "multiply" a point by a scalar from some field. The additional structure comes from the vector space axioms.

Furthermore, you need both a point set and a scalar field to construct a vector space. In general you can't take just ANY point set and ANY scalar field and mash them together into a vector space. For example, if S = {0, 1} and F = the real numbers, then (S,F) is not a vector space because it does not contain every real multiple of 1.

[Edit]: Notice also that you cannot take a point set with, say, 6 elements, and turn it into a vector space, no matter how you define addition and multiplication, and no matter what field you choose. The reason is that every finite vector space is isomorphic to F^n for some finite integer n, meaning it must have exactly |F|^n elements. But there is no field with six elements.

Last edited:

- #9

- 1,030

- 4

Axioms are propositions that are taken as true without proof. It makes no sense to think of the "axiom of additive closure" as an axiom, as a set with addition may or may not satisfy it. You are DEFINING what a vector space is!titledthis "Axioms of Vector Spaces". The axioms for vector spaces have nothing to do with postulating the existence of vector spaces!

You define "add" and "multiply" in ZFC as functions, or ordered tuples. This "additional structure" already exists in ZFC. No need for further axioms. Just definitions.ZFC just gives you a set of points without any additional structure, e.g., the ability to "add" two points together, or to "multiply" a point by a scalar from some field. The additional structure comes from the vector space axioms.

- #10

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,773

- 8

- #11

tiny-tim

Science Advisor

Homework Helper

- 25,832

- 249

From that dictionary:

How does that not agree?Logic, Mathematics.a proposition that is assumed without proof for the sake of studying the consequences that follow from it.

- #12

- 1,030

- 4

Write one of these "axioms" out in full formally, and see for yourself.

- #13

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,773

- 8

Well, what's the proposition in this case?From that dictionary:

How does that not agree?

- #14

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

- #15

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

Yes, something that satisfies the axioms. Moreover, axioms are *not* taken as true without proof. That is a fundamental misunderstanding. An axiom is just a statement. It may or may not be true when applied to some special case. The canonical example is the parallel postulate in geometry.Axioms are propositions that are taken as true without proof. It makes no sense to think of the "axiom of additive closure" as an axiom, as a set with addition may or may not satisfy it. You are DEFINING what a vector space is!

You're confusing a model with the axioms. I can, in your terms, define the real numbers using ZFC I'm sure, yet there are models of ZFC where the real numbers are not a set. I may also want to make my definition of a vector space independent of the axioms of the underlying set theory.You define "add" and "multiply" in ZFC as functions, or ordered tuples. This "additional structure" already exists in ZFC. No need for further axioms. Just definitions.

- #16

- 261

- 2

It seems like Dragonfall wants to restrict the word "axioms" to mean the axioms of set theory itself, like the axiom of choice for example. That's pretty deep for folks like me who are content with naive set theory.

But mathematicians often use the word "axiom" when constructing interesting sets that have some structure beyond that of a simple set. Despite the objections, I feel that the term is useful here too, for a couple of reasons.

First, one can mix and match these "axioms" to construct interesting, different structures. For example, groups are semi-groups with additional properties, captured as the additional axioms obeyed by a group that are not obeyed necessarily by a semi-group.

Second, we still have many of the same worries when talking about set-theoretic axioms, as we do when talking about these properties of certain sets. Namely, we'd like them to be

For example, there's an additive identity of a vector space. But is it unique? Yes. Does that uniqueness deserve its own axiom/property or can it be proved from the others? You see what I'm driving at is that seeking a minimal set of axioms is like seeking a minimum set of properties of a vector space. The use of the word axiom here does not feel forced or unnatural.

And when it comes to consistency, it would be possible to write down a set of properties for some structure, and yet have no set that could obey them all. That's like coming up with a system of axioms that are mutually contradictory.

I'm curious to know whether Dragonfall would consider the "axioms" of geometry, like the parallel postulate and so forth, as legitimate axioms, or merely the definition of a particular geometry (Euclidean, Poincare, etc).

- #17

- 1,030

- 4

You're right, I was confusing a model with the axioms. I realized that after remembering Skolem's theorem, for some reason.A vector space is defined to be something satisfying the axioms of a vector space. Amongst other things one of the axoims is that x+y=y+x for all x,y. The 'proposition' would be - if x,y are in V then x+y=y+x.

You're confusing a model with the axioms.

Funny you brought that up, since I had almost forgotten about classical geometry and its "axioms". I'm not sure what I would have thought of them.I'm curious to know whether Dragonfall would consider the "axioms" of geometry, like the parallel postulate and so forth, as legitimate axioms, or merely the definition of a particular geometry (Euclidean, Poincare, etc).

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 1

- Views
- 939

- Replies
- 5

- Views
- 2K

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 15

- Views
- 3K

- Last Post

- Replies
- 7

- Views
- 6K

- Last Post

- Replies
- 53

- Views
- 12K

- Last Post

- Replies
- 11

- Views
- 3K