Finite Subset Max in Set S: Proof

  • Context: Graduate 
  • Thread starter Thread starter invisible_man
  • Start date Start date
  • Tags Tags
    Finite Max Proof Set
Click For Summary

Discussion Overview

The discussion revolves around proving that a non-empty finite subset of a linearly ordered set has a maximum element. The context appears to be related to a practice exam problem.

Discussion Character

  • Homework-related
  • Mathematical reasoning

Main Points Raised

  • One participant suggests using induction as a potential method for the proof.
  • Another participant inquires about the original poster's progress and where they are encountering difficulties.
  • The original poster clarifies that this is a practice exam question rather than a homework assignment.

Areas of Agreement / Disagreement

The discussion does not show consensus, as participants are exploring different approaches and clarifying the nature of the problem without reaching a definitive conclusion.

Contextual Notes

Participants have not provided specific details about the definitions or properties of the linear order, nor have they outlined any assumptions that may be relevant to the proof.

invisible_man
Messages
16
Reaction score
0
Let S be a set on which a linear order <= (less or equal) , is defined. Show that a non-empty finite subset has a max.
 
Physics news on Phys.org
Sounds like a homework problem all right.

You didn't say it, but I assume you're looking for help? What have you done (successful or not), and where are you stuck?
 
This is not really my homework assignment. It's my practice exam. I don't know how to do it
 
Induction?
 

Similar threads

Undergrad Characterizing linear independence in terms of span
  • · Replies 3 ·
Replies
3
Views
2K
MHB Finitely Generated Modules - Bland Problem 1(a), Problem Set 2.2
  • · Replies 1 ·
Replies
1
Views
1K
Prove every subset of countable set is either finite or else countable
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Uniqueness of reduced row echelon form (proof verification)
  • · Replies 4 ·
Replies
4
Views
3K
Undergrad Proof by induction of block diagonal decomposition of a matrix
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad Confused about small detail in rank-nullity theorem
  • · Replies 1 ·
Replies
1
Views
3K
Undergrad Showing ##k[x_1,\ldots,x_n]/\mathfrak{a}## is finite dimensional
  • · Replies 40 ·
2
Replies
40
Views
5K
Undergrad Monumental Proof Settles Geometric Langlands Conjecture
  • · Replies 1 ·
Replies
1
Views
3K
Graduate Question regarding proof of convex body theorem
  • · Replies 21 ·
Replies
21
Views
2K
Prove that every subset ##B## of ##A=\{1,...,n\}## is finite
  • · Replies 4 ·
Replies
4
Views
1K