Fundamental Counting Principle

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 3K views
ElderBirk
Messages
6
Reaction score
0
Hey Guys,

So, I am trying to prove the Fundamental Counting Principle using induction. I have no clue where to start or even how to use induction to prove it. I would appreciate some help.

The Question in a mathematical form: Let [itex]^\sharp (A) = m[/itex] and [itex]^\sharp (B) = n[/itex]. Proove by induction that [itex]^\sharp (A \times B) = mn[/itex]
 
Physics news on Phys.org
well induction proofs have two parts:
1) select an m and n and proof its true like #A=m=0 and #B=n=0
2) assume there's an n and m that is true
and add an element to the B set which then adds m elements to AxB set right?
 
jedishrfu said:
well induction proofs have two parts:
1) select an m and n and proof its true like #A=m=0 and #B=n=0
2) assume there's an n and m that is true
and add an element to the B set which then adds m elements to AxB set right?

Well, that doesn't really sound right, if [itex]^\sharp (A) = 0[/itex], it means [itex]A = \emptyset[/itex]. As far as I understand induction, it has to do with adding our initial assumption to the second assumption and getting to the third assumption. Adding an emptyset doesn't make that much sense.

If I initially start with sets with 1 elements, then assume [itex]^\sharp (A) = m[/itex] and [itex]^\sharp (B) = n[/itex], How can I show if [itex]^\sharp (A) = m +1[/itex] then [itex]^\sharp (A \times B) = mn + n[/itex] without using the fundamental counting principle, which is what I am trying to prove.
 
Last edited:
if you cross the empty set with the empty you get? drum roll please the empty set right?

hence #A is zero and #B is zero and the empty set is zero right?

suppose the A set is the set of vowels and the B set is the consonants and neither set has Y.

#A=5 and #B=20 so #(AxB) = 100 now adding Y to A (its the hidden vowel of english) changes #A to 6

and since AxB means pairing Y with each element of B how many new elements are added to AxB?

Read up on induction there are two parts to the proof:

http://en.wikipedia.org/wiki/Induction_proof
 
jedishrfu said:
if you cross the empty set with the empty you get? drum roll please the empty set right?

hence #A is zero and #B is zero and the empty set is zero right?

suppose the A set is the set of vowels and the B set is the consonants and neither set has Y.

#A=4 and #B=20 so #(AxB) = 80 now adding Y to A (its the hidden vowel of english) changes #A to 5

and since AxB means pairing Y with each element of B how many new elements are added to AxB?

Haha, thanks for the explanation. I love the drum roll part. Anyhow let's get back to the question:

I obviously know and understand what's going on. The problem is showing whatever is happening mathematically. Remember, Duh or an example is not a proof.

So I know that [itex]\emptyset \times \emptyset = \emptyset[/itex]. Let's look at the structure of an induction outside of this context.

Let [itex]A = \left\{n \in A | P(n) \right\}[/itex]. I want to show if [itex]1 \in A[/itex] and [itex]k \in A[/itex] and [itex]k+1 \in A[/itex] then [itex]A = \mathbb{Z}^+[/itex], where [itex]p(n)[/itex] is the condition for A.

The theory of induction stands on the fact that it starts with one. Showing that [itex]^\sharp (\emptyset \times \emptyset) = 0[/itex] serves no purpose. Other than that, I understand that if I add 1 to m and make it 1+m the total number will be n+nm. But what is the mathematical justification for that, how can I show this without using the fundamental counting principle, since it is what I am trying to prove?
 
Last edited: