^^Funzione sezione (di funzione di piu' variabili); applicazione parziale.

Idea

Quando si ha una funzione di piu' variabili, si puo'

definendo cosi'

In computer science wp

partial application (of a function),  partial function application

fixing a number of arguments to a function,
producing another function of smaller arity.

La definizione precisa e' una necessita' in ambito di un linguaggio di programmazione.

Esempi

  1. applicazioni sezione dell'op bin.
  2. Funzioni sezione del prodotto esterno di uno spazio vettoriale.

Non confondere con funzione-applicazione parziale.

C'e' una certa confusione dovuta a: matematici e informatici_teorici usano gli stessi termini, ma con visioni leggermente diverse.

Notazione (della funzione sezione)

La notazione in questo caso e' un problema: e' variabile nei libri.

f(x,y): XxY→Z   funzione di 2 variabili,  (a,b)∈XxY da' luogo a 2 funzioni:

f(a,):Y→Z   f(a,)(y)= f(a,y)   sezione sx col parametro a

f(,b):X→Z   f(,5)(x)= f(x,b)   sezione dx col parametro b

Gianni
Pisa
sottofunzione  [il nome che lo studente spontaneamente assegna in prima lettura]
  No, il nome assegnato e' nel titolo: "funzione sezione", inoltre dovresti considerare
  • se la denominazione che proponi non ha controindicazioni
  • capire il senso delle denominazioni ufficiali.

Detto questo e' una proposta sensata, pero' forse piu' adatta a una funzione ristretta.

Similar but not equal to Curry a multiargument function.

 

 

Derivate parziali

Questa nomenclatura e' coerente con "applicazioni parziali".

Esempi

  1. Le traslazioni dell'opbin.
  2. Funzione potenza e esponenziale.
  3. Funzione potenza e esponenziale in algebra astratta.
  4. Proprieta' distributiva (della moltiplicazione rispetto alla somma).
  5. Combinazione di costanza e variabililita' per le grandezze variabili di una famiglia; ampiezza lineare, ampiezza angolare. esof: Esempi di combinazione.
  6. Confronto valori di una formula, in generale e in casi particolari.

 

 

Talk

Titolo

  1. Funzioni sezione, applicazioni parziali.
    c: ori.
  2. Funzione sezione, applicazione parziale.
    c: 13-5-2020. preferisco il singolare.
    c: 26-6_2020. Pero' in questo caso quando seziono le variabili, nascono 2 sottoinsiemi, quindi sembrerebbe appropriato il plurale, pero' poi i 2 sottionsiemi si differenziano in:

    quindi sembra che alla fine il singolare sia piu' adatto.