Relations with big oh and big theta

  • Thread starter Thread starter lee534
  • Start date Start date
  • Tags Tags
    Relations Theta
Click For Summary
SUMMARY

This discussion focuses on the properties of relations defined by Big O and Big Theta notations in the context of real functions. The first relation, defined as f R g if and only if f(n) = O(g(n)), is established as partially ordered due to its reflexive, anti-symmetric, and transitive properties. The second relation, where f R g if and only if f(n) = Θ(g(n)), is identified as an equivalence relation, exhibiting reflexive, symmetric, and transitive properties. The importance of formal proofs in demonstrating these properties is also highlighted.

PREREQUISITES
  • Understanding of Big O notation and its properties
  • Familiarity with Big Theta notation and equivalence relations
  • Knowledge of reflexive, symmetric, anti-symmetric, and transitive properties
  • Basic proof techniques in mathematics
NEXT STEPS
  • Study the formal definitions and properties of Big O and Big Theta notations
  • Learn about equivalence relations and partially ordered sets in depth
  • Practice constructing formal proofs for mathematical statements
  • Explore examples of reflexive, symmetric, and transitive relations in various mathematical contexts
USEFUL FOR

Students in computer science or mathematics, particularly those studying algorithms and complexity, as well as educators teaching foundational concepts in relations and proofs.

lee534
Messages
7
Reaction score
0
Hi all, this is a problem that I want to start early on, but I'm not sure how to show my work for this. If i say the theorems it just feels repetitive. So I guess my question is, is using theorems enough to answer this?
thank you!

Homework Statement


determine the properties of each situation: reflexive, symmetric, anti symmetric, transitive, equivalence relation, and partially ordered


Homework Equations


none

The Attempt at a Solution


1.The relation R on the set of all real function f:N→R+ where f R g if and only if f(n) = O(g(n))
reflexive, anti-symmetric, transitive, which means Partially ordered.
Reflexivity: f ∈ O(f)
Transitivity: If f ∈ O(g) and g ∈ O(h) then f ∈ O(h)
anti-symmetry: f(n) is O(g(n)) if and only if g(n) is Omega(f(n))

2. The relation R on the set of all real function f:N→R+ where f R g if and only if f(n) = Θ(g(n))
reflexive, symmetric, transitive, which mean equivalence relation.
transitivity: if f(n) is Θ(g(n)) and g(n) is Θ(h(n)) then f(n) is Θ(h(n))
symmetry: if f(n) is Θ(g(n)) then g(n) is Θ(f(n))
reflexive: if f(n) is Θ(f(n)).
 
Physics news on Phys.org
Do you know how to do proofs? if A then B? or A if and only if B? Does this mean anything to you?
 
oh that's a good point, sorry I didn't take into account that proofs would work. thanks
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
11K
Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K