Do tuples exist which aren't elements of a cartesian product of sets?

Click For Summary
SUMMARY

Tuples can exist independently of being elements of a Cartesian product of sets, as demonstrated by the example of the triple (a, b, c), which is an element of the set {a} x {b} x {c}. This principle applies to all finite tuples, while infinite tuples, treated as sequences, require the axiom of choice for their existence. The discussion highlights the tension between traditional set-based mathematics and the practicalities of programming, where arrays (tuples) are commonly used without formal set definitions. There is a call for a potential re-evaluation of mathematical foundations in light of computational advancements.

PREREQUISITES
  • Understanding of Cartesian products in set theory
  • Familiarity with tuples and their representation in programming languages
  • Knowledge of the axiom of choice in mathematics
  • Basic concepts of mathematical foundations and their evolution
NEXT STEPS
  • Research the implications of the axiom of choice in set theory
  • Explore the differences between tuples and arrays in programming languages
  • Study the foundations of mathematics and alternative approaches to set theory
  • Investigate the role of computation in modern mathematical education
USEFUL FOR

Mathematicians, computer scientists, educators in mathematics, and anyone interested in the intersection of mathematics and programming.

bentley4
Messages
66
Reaction score
0
Do tuples exist which aren't elements of a cartesian product of sets?
Can you just write an ordered list of elements which does not necessarily have to be defined in sets? (or does every tuple need to be defined through sets in order for it to rigourously exist in mathematics?)
 
Physics news on Phys.org
it's not clear what you're asking.

normally, an ordered tuple is a subset of SOME set AxBxC, but the sets involved might be unusual.
 
The answer is yes.

Suppose you give me the triple (a, b, c). Then this is an element (in fact, the only element) of {a}x{b}x{c}.

This works for all (finite) tuples. (For infinite tuples, which are actually just sequences, we need to assume the axiom of choice to guarantee that there such a set exists.)
 
bentley4 said:
Can you just write an ordered list of elements which does not necessarily have to be defined in sets? (or does every tuple need to be defined through sets in order for it to rigourously exist in mathematics?)
An natural question, particularly for a mathematically interested programmer: Wheras defining arrays (i.e. tuples) of any length is commonplace in all sensible programming languages, sets are absent from wide spread languages such as C.
Actually one can build the foundations of mathematics in a way that tuples are closer to the grounds than sets.
Most professors in mathematics probably feel that it would create more trouble than benefits if one would deviate from the narrow set based presentation of mathematics in courses.
Others feel that the strengthening role of computers, computing, and computation in science asks for a redesign of the taught foundations of mathematics.

You are on a good way; keep your eyes open an look behind the omnipresent orthodoxy.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
5K
  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
1K