Does a symbol exist for this operation?

  • Context: Undergrad 
  • Thread starter Thread starter brydustin
  • Start date Start date
  • Tags Tags
    Symbol
Click For Summary
SUMMARY

The discussion centers on finding a symbolic representation for the operation defined as (*)_pq = 1 if p > q else 0. Participants suggest using characteristic functions, specifically a_{pq} = \chi_{(q, \infty)}(p), to represent this relational operation. The Heaviside step function, u(t), is also mentioned as a special case of a characteristic function, where u(t) equals 1 for t > 0 and 0 for t < 0. This indicates a strong connection between relational operations and characteristic functions in mathematical contexts.

PREREQUISITES
  • Understanding of relational operations in mathematics
  • Familiarity with characteristic functions
  • Knowledge of the Heaviside step function
  • Basic concepts of mathematical notation and symbols
NEXT STEPS
  • Research the properties and applications of characteristic functions
  • Explore the Heaviside step function and its uses in analysis
  • Study the Kronecker delta and its relation to relational operations
  • Investigate advanced topics in mathematical logic and symbolic representation
USEFUL FOR

Mathematicians, students studying mathematical analysis, and anyone interested in symbolic logic and relational operations will benefit from this discussion.

brydustin
Messages
201
Reaction score
0
(*)_pq = 1 if p> q else 0

This is kinda like kronecker delta in that its a relational operation. Any clue?
 
Physics news on Phys.org
brydustin said:
(*)_pq = 1 if p> q else 0

This is kinda like kronecker delta in that its a relational operation. Any clue?

I think something with characteristic functions would work. Maybe something like

[tex] a_{pq} = \chi_{(q, \infty)}(p)[/tex]

where
[tex] \chi_A(x) =<br /> \begin{cases}<br /> 0 & \text{if} \; \; x \notin A \\<br /> 1 & \text{if} \; \; x \in A \; .<br /> \end{cases}[/tex]
Does that help? Are p and q real numbers?
 
the Heaviside step function can also be used for this (just a special case of a characteristic function):

[itex]u(t)[/itex] is 1 for [itex]t>0[/itex] and 0 for [itex]t<0[/itex].

Some folks capitalize the U.

jason
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 25 ·
Replies
25
Views
4K